diff options
-rw-r--r-- | bash/dot-bash_profile | 4 | ||||
-rw-r--r-- | bash/dot-bashrc | 3 |
2 files changed, 2 insertions, 5 deletions
diff --git a/bash/dot-bash_profile b/bash/dot-bash_profile index 7d5f3c9..e69de29 100644 --- a/bash/dot-bash_profile +++ b/bash/dot-bash_profile @@ -1,4 +0,0 @@ -# Load bashrc to mantain only one file -if [ -f "$HOME/.bashrc" ]; then - source "$HOME/.bashrc" -fi diff --git a/bash/dot-bashrc b/bash/dot-bashrc index 70448a2..b56bebb 100644 --- a/bash/dot-bashrc +++ b/bash/dot-bashrc @@ -36,7 +36,8 @@ export COLOR_DEFAULT="\[\033[0;39m\]" export COLOR_WHITE=$COLOR_DEFAULT # History length and control -export HISTCONTROL=ignoreboth +shopt -s histappend +export HISTCONTROL=ignoreboth:erasedups export HISTSIZE=1000 export HISTTIMEFORMAT="[%F %T] " |