comparison .bashrc @ 212:a20525b2ef00

No need for the proxy command that I run at least daily
author Steve Huston <huston@srhuston.net>
date Fri, 08 Jan 2021 09:52:12 -0500
parents 6e7913283c7a
children effc1e0edb49
comparison
equal deleted inserted replaced
211:21df76f94578 212:a20525b2ef00
65 # Ignore lines starting with a space, and duplicates of the previous command; 65 # Ignore lines starting with a space, and duplicates of the previous command;
66 # also, if a line is a dupe from earlier history, remove the previous line 66 # also, if a line is a dupe from earlier history, remove the previous line
67 # entirely 67 # entirely
68 export HISTCONTROL='ignoreboth:erasedups' 68 export HISTCONTROL='ignoreboth:erasedups'
69 # Ignore some commonly used and not noteworthy commands 69 # Ignore some commonly used and not noteworthy commands
70 export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*:jobs' 70 export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*:jobs:proxy'
71 # Put a timestamp on history lines 71 # Put a timestamp on history lines
72 export HISTTIMEFORMAT='%F %T ' 72 export HISTTIMEFORMAT='%F %T '
73 # Fold multi-line commands into a single line 73 # Fold multi-line commands into a single line
74 # This seems to be 'on' in many places already, but let's make sure 74 # This seems to be 'on' in many places already, but let's make sure
75 shopt -s cmdhist 75 shopt -s cmdhist