.bashrc: ignorespace -> ignoreboth

ignoreboth will ignore commands starting with space as well as dup-
licate commands.

Signed-off-by: Alan Orth <alan.orth@gmail.com>
This commit is contained in:
Alan Orth 2014-05-17 22:34:12 +03:00
parent fcf1e381c2
commit 066f5a99a2
Signed by: alanorth
GPG Key ID: 0FB860CC9C45B1B9

View File

@ -16,8 +16,8 @@ export PAGER=/usr/bin/less
# sequence to set the terminal title to "user@hostname: pwd" # sequence to set the terminal title to "user@hostname: pwd"
TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
PROMPT_COMMAND="$TITLEBAR" PROMPT_COMMAND="$TITLEBAR"
# don't add commands starting with space to the history # ignore commands starting with space and duplicates
HISTCONTROL=ignorespace HISTCONTROL=ignoreboth
# ignore common commands in bash history # ignore common commands in bash history
HISTIGNORE='ls:bg:fg:history' HISTIGNORE='ls:bg:fg:history'