$ history needs a --no-numbers-please option (-u maybe?), as I can't
recall when I didn't run the output through sed to get rid of them.


Reply via email to