comparison cc.def @ 5:fe8bc9fdba26

krb5 cp not needed anymore, call this csing
author Henry S Thompson <ht@inf.ed.ac.uk>
date Fri, 16 Aug 2024 17:32:39 +0100
parents 8bbade4dc167
children c0aed2a91657
comparison
equal deleted inserted replaced
4:8bbade4dc167 5:fe8bc9fdba26
53 git checkout tidy_up_link_extraction 53 git checkout tidy_up_link_extraction
54 cd /usr/local/lib/python3.9/dist-packages/ 54 cd /usr/local/lib/python3.9/dist-packages/
55 ln -s /usr/local/src/pdfx/pdfx . 55 ln -s /usr/local/src/pdfx/pdfx .
56 ln -s /usr/local/src/pdfminer.six/pdfminer . 56 ln -s /usr/local/src/pdfminer.six/pdfminer .
57 57
58 cp -a /etc/krb5.conf /etc
59
60 sed '8i\ 58 sed '8i\
61 if [ "$WSHARED" ]\ 59 if [ "$WSHARED" ]\
62 then\ 60 then\
63 PATH="$WSHARED/bin:$PATH"\ 61 PATH="$WSHARED/bin:$PATH"\
64 fi\ 62 fi\
72 export SINGULARITY_SHELL=/usr/bin/bash 70 export SINGULARITY_SHELL=/usr/bin/bash
73 export LESSOPEN="| /usr/bin/lesspipe %s"; 71 export LESSOPEN="| /usr/bin/lesspipe %s";
74 export LESSCLOSE="/usr/bin/lesspipe %s %s"; 72 export LESSCLOSE="/usr/bin/lesspipe %s %s";
75 export SS='$SING' 73 export SS='$SING'
76 export SING=sing 74 export SING=sing
77 export PS1='\[\033[1m\]$SS\[\033[0m\]<\!>: ' 75 export PS1='\[\033[1m\]$SS\[\033[0m\]<\!>: 'x
78 if [ -f "$HOME/.singrc" ] 76 if [ -f "$HOME/.singrc" ]
79 then 77 then
80 . "$HOME/.singrc" 78 . "$HOME/.singrc"
81 fi 79 fi
82 80