.bashrc
changeset 482 3860547a5594
parent 481 9b1b0a64635b
child 483 f02dbcb71260
equal deleted inserted replaced
481:9b1b0a64635b 482:3860547a5594
    20 
    20 
    21 if command -v dircolors >/dev/null 2>&1 && [[ -f ~/.dircolors ]]; then
    21 if command -v dircolors >/dev/null 2>&1 && [[ -f ~/.dircolors ]]; then
    22   eval "`dircolors -b ~/.dircolors`"
    22   eval "`dircolors -b ~/.dircolors`"
    23 fi
    23 fi
    24 
    24 
       
    25 # Can be XXX /visible. I like bell.
       
    26 # set bell-style visible
       
    27 
    25 # Don't store duplicate adjacent items in the history.
    28 # Don't store duplicate adjacent items in the history.
    26 #   ignorespace     do not save lines that start with space
    29 #   ignorespace     do not save lines that start with space
    27 #   erasedups       all previous lines matching the current line to be removed from
    30 #   erasedups       all previous lines matching the current line to be removed from
    28 #                   the history list before that line is saved
    31 #                   the history list before that line is saved
    29 HISTCONTROL=ignorespace:erasedups
    32 HISTCONTROL=ignorespace:erasedups
    39 # To these options assigned default value, as they satisfy my needs I comment them.
    42 # To these options assigned default value, as they satisfy my needs I comment them.
    40 # HISTFILE=~/.bash_history  # where is command history stored
    43 # HISTFILE=~/.bash_history  # where is command history stored
    41 # HISTFILESIZE=500          # how many lines been in $HISTFILE
    44 # HISTFILESIZE=500          # how many lines been in $HISTFILE
    42 # HISTSIZE=500              # how many lines been stored in bash process
    45 # HISTSIZE=500              # how many lines been stored in bash process
    43 
    46 
    44 # Can be XXX /visible. I like bell.
    47 HISTTIMEFORMAT="%F %T "
    45 # set bell-style visible
       
    46 
    48 
    47 # Make Bash append rather than overwrite the history.
    49 # Make Bash append rather than overwrite the history.
    48 shopt -s histappend
    50 shopt -s histappend
    49 
    51 
    50 shopt -s histreedit
    52 shopt -s histreedit