To make copy-pasting between different terminals work better, would it be possible for the history built-in to support an option to suppress line numbers?
-- Biltong bilt...@fastmail.fm -- http://www.fastmail.fm - A no graphics, no pop-ups email service
