diff options
author | Jakob Odersky <jakob@odersky.com> | 2017-07-02 15:45:58 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2017-07-02 15:45:58 -0700 |
commit | 17fb9ddf5d20ac7714e76f48fee3e31dd6c9e93b (patch) | |
tree | f5505ecaeeb41896d1456e28d9d102af39809865 | |
parent | cb9ce9ca98d32f2b73e80108be99ceca37dc0a89 (diff) | |
download | dotfiles-17fb9ddf5d20ac7714e76f48fee3e31dd6c9e93b.tar.gz dotfiles-17fb9ddf5d20ac7714e76f48fee3e31dd6c9e93b.tar.bz2 dotfiles-17fb9ddf5d20ac7714e76f48fee3e31dd6c9e93b.zip |
Remember all history
-rw-r--r-- | home/.bashrc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/home/.bashrc b/home/.bashrc index cc98b5b..616a037 100644 --- a/home/.bashrc +++ b/home/.bashrc @@ -17,7 +17,7 @@ shopt -s histappend # for setting history length see HISTSIZE and HISTFILESIZE in bash(1) HISTSIZE= -HISTFILESIZE=2000 +HISTFILESIZE= # check the window size after each command and, if necessary, # update the values of LINES and COLUMNS. @@ -117,3 +117,6 @@ if [ -d "$HOME/.bashrc.d" ]; then . "$script" done fi + +# added by travis gem +[ -f /home/jodersky/.travis/travis.sh ] && source /home/jodersky/.travis/travis.sh |