diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-22 17:02:58 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-22 17:03:11 +0100 |
commit | 7b7c2d0b0d0c7e5d15016414d17d74f0d2558775 (patch) | |
tree | 7af8c407346e00680ce1edde347a19a8118aa1cf /.bashrc | |
parent | 468be3658f9205b38373c53284e3fe07d9d22568 (diff) | |
download | dotfiles-7b7c2d0b0d0c7e5d15016414d17d74f0d2558775.tar.gz |
attempt to make shell history a bit less annoying
Diffstat (limited to '.bashrc')
-rw-r--r-- | .bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -24,6 +24,10 @@ fi # history settings HISTCONTROL=ignorespace:ignoredups +HISTSIZE=5000 +HISTFILESIZE=5000 +HISTIGNORE="ls" # colon-separated +shopt -s histappend # make less more friendly for non-text input files; see lesspipe(1) if [ -x /usr/bin/lesspipe ]; then |