command-line history management