- [Show pagesource]
- [Old revisions]
- [Move]
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)



