zshrc
changeset 38 54b86a545f6c
parent 13 e1da4a7a9e92
child 41 be88f546392c
equal deleted inserted replaced
37:9c238177f98a 38:54b86a545f6c
    19 
    19 
    20 ####################
    20 ####################
    21 # History settings #
    21 # History settings #
    22 ####################
    22 ####################
    23 
    23 
    24 export SAVEHIST=4096
    24 export SAVEHIST=8192
    25 export HISTSIZE=4096
    25 export HISTSIZE=8192
    26 export HIST_EXPIRE_DUPS_FIRST
    26 export HIST_EXPIRE_DUPS_FIRST
    27 export HISTFILE=$HOME/.history
    27 export HISTFILE=$HOME/.history
    28 
    28 
    29 #####################
    29 #####################
    30 # Terminal settings #
    30 # Terminal settings #