Options controlling the history

bang_hist

  • enable '!' history expansion

append_history

  • when exiting, append history entries to $HISTFILE, rather than replacing the old file; this is the default

extended_history

  • save additional info to $HISTFILE

hist_ignore_space

  • if the commandline starts with a whitespace, don't add it to history

inc_append_history

  • append every single command to $HISTFILE immediately after hitting ENTER.

share_history

  • always import new commands from $HISTFILE (see 'inc_append_history' above)
 
options/history.txt · Last modified: 2010/01/05 09:20 (external edit)