# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1610117532 18000
# Node ID a20525b2ef0087e73f4a3d35c6cd368c27757b3d
# Parent  21df76f9457865278835a178d3b4541fb4f27558
No need for the proxy command that I run at least daily

diff -r 21df76f94578 -r a20525b2ef00 .bashrc
--- 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