changeset 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 21df76f94578
children 283c952b0455
files .bashrc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.bashrc	Fri Jan 08 09:51:13 2021 -0500
+++ b/.bashrc	Fri Jan 08 09:52:12 2021 -0500
@@ -67,7 +67,7 @@
 # entirely
 export HISTCONTROL='ignoreboth:erasedups'
 # Ignore some commonly used and not noteworthy commands
-export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*:jobs'
+export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*:jobs:proxy'
 # Put a timestamp on history lines
 export HISTTIMEFORMAT='%F %T '
 # Fold multi-line commands into a single line