changeset 122:9de06ae73372

workaround histcontrol
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 28 Jun 2021 17:15:19 +0000
parents 863ea87be6bb
children 5b0ec642ee9b
files .bashrc
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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