# HG changeset patch
# User Henry S Thompson <ht@inf.ed.ac.uk>
# Date 1723825959 -3600
# Node ID fe8bc9fdba26fd8fb94255451271786151ffc509
# Parent  8bbade4dc167bc78303d6198edb8b56fa3d1491c
krb5 cp not needed anymore, call this csing

diff -r 8bbade4dc167 -r fe8bc9fdba26 cc.def
--- 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"