# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1779292316 -3600
# Node ID 6c772ae7fce2962aa2dc7a6994b12e217520ee3d
# Parent  345f8b12fd2f7293a2f8c4445af0b280bef3f985
for 2026

diff -r 345f8b12fd2f -r 6c772ae7fce2 .bash_extras
--- a/.bash_extras	Sat Feb 28 15:52:47 2026 +0000
+++ b/.bash_extras	Wed May 20 16:51:56 2026 +0100
@@ -1,4 +1,20 @@
-# Sourced by .bashrc and singularity runscript
+# General-purpose environment variables and utility functions
+# Recommended for inclusion in ${HOME}/.bashrc via
+#  source /work/dc007/dc007/shared/.bash_extras
+# Already sourced in singularity container _before_ bash is launched
+# Note that $HOME (and therefore the meaning of ~ in paths) is
+#  set to $W in the singularity container for convenience, as it is
+#  assumed to be where you will spend most of your time
+
+H=/home/dc007/dc007/${USER} # Only visible from login nodes
+W=/work/dc007/dc007/${USER}
+
+CCC=/work/dc007/shared/pod12/common_crawl
+SHARED=/work/dc007/dc007/shared
+
+PATH=$PATH:$HOME/.local/bin:$HOME/bin:$W/bin:$SHARED/bin
+
+export H W CCC SHARED PATH
 
 cu ()
 {
@@ -46,7 +62,7 @@
 
 uz () 
 { 
-    igzip -dc "$@"
+    igzip -dc "$@"  # only works under sing
 }
 
 function tot ()