Re: Add option to just print history, with no added timestamps or line numbers

[Dan Jacobson]

How unfortunate.
P.S., "\t%s" seems to have an extra space squeezed between them with bash: "\t 
%s",
unless perhaps the spec says that %s always starts with a space.