comparison .bashrc @ 144:c9a2231b009d

More oft-used and non-noteworthy commands
author Steve Huston <huston@astro.princeton.edu>
date Thu, 18 Aug 2016 12:49:21 -0400
parents 315bbb06066a
children 0fa686004ced
comparison
equal deleted inserted replaced
143:315bbb06066a 144:c9a2231b009d
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:history:ret:keys' 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