diff options
Diffstat (limited to 'snips/bash_history')
| -rw-r--r-- | snips/bash_history | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/snips/bash_history b/snips/bash_history deleted file mode 100644 index a2dfbe7..0000000 --- a/snips/bash_history +++ /dev/null @@ -1,7 +0,0 @@ -if [ -n "$BASH" ] ; then - HISTFILE="$HOME/.bash_history" - HISTSIZE=10000 - HISTFILESIZE=10000 - shopt -s histappend - export PROMPT_COMMAND="set_my_title;history -a; history -c; history -r" -fi |