zshrc
changeset 38 54b86a545f6c
parent 13 e1da4a7a9e92
child 41 be88f546392c
--- a/zshrc	Sun Feb 05 12:46:10 2017 +0100
+++ b/zshrc	Wed Oct 03 22:57:00 2018 +0200
@@ -21,8 +21,8 @@
 # History settings #
 ####################
 
-export SAVEHIST=4096
-export HISTSIZE=4096
+export SAVEHIST=8192
+export HISTSIZE=8192
 export HIST_EXPIRE_DUPS_FIRST
 export HISTFILE=$HOME/.history