# HG changeset patch
# User Henry S Thompson <ht@inf.ed.ac.uk>
# Date 1791757142 -3600
# Node ID 4b78177439c348dcc8d90009acee9cffca6689e9
# Parent  c7fa30d1f66625975ec1b8e7be81db5d4602811b
move from work to epccfs on Cirrus

diff -r c7fa30d1f666 -r 4b78177439c3 cc.def
--- a/cc.def	Sun Oct 11 23:17:33 2026 +0100
+++ b/cc.def	Sun Oct 11 23:19:02 2026 +0100
@@ -90,17 +90,18 @@
     unset DEBIAN_FRONTEND PIP_BREAK_SYSTEM_PACKAGES
 
     sed '8i\
-  if [ "$WSHARED" ]\
+  if [ "$SHARED" ]\
   then\
-   PATH="$WSHARED/bin:$PATH"\
+   PATH="$SHARED/bin:$PATH"\
   fi\
 ' -i /etc/profile
 
-    # REMEMBER to check cc/etc/profile has $WSHARED/bin in front of PATH
+    # REMEMBER to check cc/etc/profile has $SHARED/bin in front of PATH
 
 %environment
-export WSHARED=/work/dc007/dc007/shared
-export HOME=/work/dc007/dc007/$(whoami)
+export work=epccfs
+export SHARED=/$(work)/dc007/dc007/shared
+export HOME=/$(work)/dc007/dc007/$(whoami)
 export SINGULARITY_SHELL=/usr/bin/bash
 export LESSOPEN="| /usr/bin/lesspipe %s";
 export LESSCLOSE="/usr/bin/lesspipe %s %s";
@@ -115,14 +116,14 @@
 %runscript
 #!/bin/bash
 
-if [ -f $WSHARED/.bash_extras ]
+if [ -f $SHARED/.bash_extras ]
 then
- . $WSHARED/.bash_extras
+ . $SHARED/.bash_extras
 fi
 
 if [ ! -r $HOME ]
 then
- export HOME=/work/dc007/shared/guest
+ export HOME=/$(work)/dc007/shared/guest
  export USER=guest
 fi