Commit 97e9dd4c authored by nimrod's avatar nimrod
Browse files

- Keep .bash_history consistent.

parent 2221ea80

.bashrc

+4 −1
Original line number Diff line number Diff line 
# If not running interactively, don't do anything

[ -z "$PS1" ] && return



export HISTCONTROL=ignoreboth

export LANG=en_US.UTF8

export HISTCONTROL=ignoreboth:erasedups

export HISTSIZE=100000

export HISTFILESIZE=100000

export PROMPT_COMMAND="history -a; $PROMPT_COMMAND"

shopt -s histappend

shopt -s checkwinsize