--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.home_bashrc	Wed May 20 17:21:34 2026 +0100
@@ -0,0 +1,41 @@
+# .bashrc
+
+# Source global definitions
+if [ -f /etc/bashrc ]; then
+  source /etc/bashrc
+fi
+
+# Source our shared helpful bits
+source /work/dc007/dc007/shared/.bash_extras
+
+if [ "$PS1" ]; then
+  # This is an interactive shell
+  echo "Vanilla bashrc" 1>&2
+
+  # append to the history file, don't overwrite it
+  shopt -s histappend
+
+  # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
+  # export HISTSIZE=3000
+  export HISTFILESIZE=6000
+  export HISTIGNORE='[ ]*:&:[fb]g:exit'
+
+ # fix $W -> \$W after tab completion
+ shopt -u progcomp
+
+fi
+
+
+# EDITOR= Uncomment this and give it the name of your preferred editor
+#         vi, ed and emacs are available
+
+# Uncomment what follows if you're ready to start using tmux
+
+# if [ -z "$TERMINFO" ]
+# then
+#  export TERMINFO=/usr/share/terminfo
+#  # needed to allow tmux to work
+# fi
+
+# module load tmux
+