Mercurial > hg > sif
changeset 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 |
| files | cc.def |
| diffstat | 1 files changed, 1 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/cc.def Thu Aug 15 12:46:30 2024 +0100 +++ b/cc.def Fri Aug 16 17:32:39 2024 +0100 @@ -55,8 +55,6 @@ ln -s /usr/local/src/pdfx/pdfx . ln -s /usr/local/src/pdfminer.six/pdfminer . - cp -a /etc/krb5.conf /etc - sed '8i\ if [ "$WSHARED" ]\ then\ @@ -74,7 +72,7 @@ export LESSCLOSE="/usr/bin/lesspipe %s %s"; export SS='$SING' export SING=sing -export PS1='\[\033[1m\]$SS\[\033[0m\]<\!>: ' +export PS1='\[\033[1m\]$SS\[\033[0m\]<\!>: 'x if [ -f "$HOME/.singrc" ] then . "$HOME/.singrc"