comparison .bashrc @ 145:0fa686004ced

Need to add a glob on that too
author Steve Huston <huston@astro.princeton.edu>
date Fri, 19 Aug 2016 17:34:11 -0400
parents c9a2231b009d
children 472a38df3aed
comparison
equal deleted inserted replaced
144:c9a2231b009d 145:0fa686004ced
59 # Ignore lines starting with a space, and duplicates of the previous command; 59 # Ignore lines starting with a space, and duplicates of the previous command;
60 # also, if a line is a dupe from earlier history, remove the previous line 60 # also, if a line is a dupe from earlier history, remove the previous line
61 # entirely 61 # entirely
62 export HISTCONTROL='ignoreboth:erasedups' 62 export HISTCONTROL='ignoreboth:erasedups'
63 # Ignore some commonly used and not noteworthy commands 63 # Ignore some commonly used and not noteworthy commands
64 export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add' 64 export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*'
65 # Put a timestamp on history lines 65 # Put a timestamp on history lines
66 export HISTTIMEFORMAT='%F %T ' 66 export HISTTIMEFORMAT='%F %T '
67 # Fold multi-line commands into a single line 67 # Fold multi-line commands into a single line
68 # This seems to be 'on' in many places already, but let's make sure 68 # This seems to be 'on' in many places already, but let's make sure
69 shopt -s cmdhist 69 shopt -s cmdhist