diff options
| author | Jakob Odersky <jakob@odersky.com> | 2017-06-05 18:07:48 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2017-06-05 18:07:48 -0700 |
| commit | 3bae2e060f8506601abc6ea2f7561d399fa008c1 (patch) | |
| tree | 17967057416794e8c2a5571fbcb60aa88c992351 /home | |
| parent | 8ad457382a2178f1dfc480fdd6e78bc677522f56 (diff) | |
| download | dotfiles-3bae2e060f8506601abc6ea2f7561d399fa008c1.tar.gz dotfiles-3bae2e060f8506601abc6ea2f7561d399fa008c1.tar.bz2 dotfiles-3bae2e060f8506601abc6ea2f7561d399fa008c1.zip | |
Record history
Diffstat (limited to 'home')
| -rw-r--r-- | home/.bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.bashrc b/home/.bashrc index a619ec6..cc98b5b 100644 --- a/home/.bashrc +++ b/home/.bashrc @@ -16,7 +16,7 @@ HISTCONTROL=ignoreboth shopt -s histappend # for setting history length see HISTSIZE and HISTFILESIZE in bash(1) -HISTSIZE=1000 +HISTSIZE= HISTFILESIZE=2000 # check the window size after each command and, if necessary, |