# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1624900519 0
# Node ID 9de06ae73372a345612e8f87dc9255c5d1d4d6a4
# Parent  863ea87be6bbcb6377c91ce64b973482a55ab923
workaround histcontrol

diff -r 863ea87be6bb -r 9de06ae73372 .bashrc
--- a/.bashrc	Mon Jun 28 15:40:10 2021 +0000
+++ b/.bashrc	Mon Jun 28 17:15:19 2021 +0000
@@ -25,6 +25,7 @@
       # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
       # export HISTSIZE=3000 [readonly on Cirrus :-[
       export HISTFILESIZE=6000
+      export HISTIGNORE='[ ]*:&:[fb]g:exit'
     fi
     
     module load gcc # assumed by Prefix