# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1471642451 14400
# Node ID 0fa686004ced3a7371b9806f1d45d347b3d23d58
# Parent  c9a2231b009dd39723f6d17e111ca28fdc06847e
Need to add a glob on that too

diff -r c9a2231b009d -r 0fa686004ced .bashrc
--- a/.bashrc	Thu Aug 18 12:49:21 2016 -0400
+++ b/.bashrc	Fri Aug 19 17:34:11 2016 -0400
@@ -61,7 +61,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'
+export HISTIGNORE='bg:fg:jobs:history:ret:rbh:rj:rx:keys:ssh-add*'
 # Put a timestamp on history lines
 export HISTTIMEFORMAT='%F %T '
 # Fold multi-line commands into a single line