# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1611764735 18000
# Node ID 335b0fba60a81cda09b239eaa4fb198e93250482
# Parent  6731880943f8d0171b98c27a44ecef23b0e98dac
Forgot to glob the ignore for proxy

diff -r 6731880943f8 -r 335b0fba60a8 .bashrc
--- a/.bashrc	Tue Jan 26 11:00:31 2021 -0500
+++ b/.bashrc	Wed Jan 27 11:25:35 2021 -0500
@@ -75,7 +75,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:proxy'
+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