changeset 3:6c772ae7fce2

for 2026
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 20 May 2026 16:51:56 +0100
parents 345f8b12fd2f
children 0c43040ab265
files .bash_extras
diffstat 1 files changed, 18 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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 ()