diff .bashrc @ 122:9de06ae73372

workaround histcontrol
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 28 Jun 2021 17:15:19 +0000
parents bcea0410143c
children 53006db54871
line wrap: on
line diff
--- 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