--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cc.def	Thu Aug 15 12:43:22 2024 +0100
@@ -0,0 +1,46 @@
+Bootstrap: docker
+From: debian:bullseye
+
+%post
+    sed '2s/main/main contrib non-free/' -i /etc/apt/sources.list
+    apt-get -y update
+    apt-get -y install locales
+    sed '/en_GB.UTF/s/# //;/en_US.UTF/s/# //' -i /etc/locale.gen
+    locale-gen
+    apt-get -y install apt-utils python3 python3-pip isal less git ack procps psmisc
+    apt-get -y install man-db gdb gcc
+
+    pip3 install six isal regex chardet stopit urllib3 cryptography
+    
+    sed '8i\
+  if [ "$WSHARED" ]\
+  then\
+   PATH="$WSHARED/bin:$PATH"\
+  fi\
+' -i /etc/profile
+
+    # REMEMBER to check cc/etc/profile has $WSHARED/bin in front of PATH
+
+%environment
+export WSHARED=/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";
+export PS1='\[\033[1m\]sing\[\033[0m\]<\!>: '
+
+%runscript
+#!/bin/bash
+if [ -f $WSHARED/.bash_extras ]
+then
+ . $WSHARED/.bash_extras
+fi
+
+cd $HOME
+
+if [ $# -gt 0 ]
+then
+ exec "$@"
+else
+ exec /bin/bash -ls 
+fi