comparison cc.def @ 9:53ef1fd47ba2 default tip

fixed one init glitch
author Henry S Thompson <ht@inf.ed.ac.uk>
date Mon, 12 Oct 2026 11:01:53 +0100
parents 4b78177439c3
children
comparison
equal deleted inserted replaced
8:4b78177439c3 9:53ef1fd47ba2
98 98
99 # REMEMBER to check cc/etc/profile has $SHARED/bin in front of PATH 99 # REMEMBER to check cc/etc/profile has $SHARED/bin in front of PATH
100 100
101 %environment 101 %environment
102 export work=epccfs 102 export work=epccfs
103 export SHARED=/$(work)/dc007/dc007/shared 103 export SHARED=/$work/dc007/dc007/shared
104 export HOME=/$(work)/dc007/dc007/$(whoami) 104 export HOME=/$work/dc007/dc007/$(whoami)
105 export SINGULARITY_SHELL=/usr/bin/bash 105 export SINGULARITY_SHELL=/usr/bin/bash
106 export LESSOPEN="| /usr/bin/lesspipe %s"; 106 export LESSOPEN="| /usr/bin/lesspipe %s";
107 export LESSCLOSE="/usr/bin/lesspipe %s %s"; 107 export LESSCLOSE="/usr/bin/lesspipe %s %s";
108 export SS='$SING' 108 export SS='$SING'
109 export SING=sing 109 export SING=sing
121 . $SHARED/.bash_extras 121 . $SHARED/.bash_extras
122 fi 122 fi
123 123
124 if [ ! -r $HOME ] 124 if [ ! -r $HOME ]
125 then 125 then
126 export HOME=/$(work)/dc007/shared/guest 126 export HOME=/$work/dc007/shared/guest
127 export USER=guest 127 export USER=guest
128 fi 128 fi
129 129
130 cd $HOME 130 cd $HOME
131 131