zshrc
changeset 41 be88f546392c
parent 40 6eeab84c3f15
parent 38 54b86a545f6c
child 58 86928b7b5adb
equal deleted inserted replaced
40:6eeab84c3f15 41:be88f546392c
    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 #