changeset 4:8bbade4dc167

version from 2024-02-22, never built?
author Henry S Thompson <ht@inf.ed.ac.uk>
date Thu, 15 Aug 2024 12:46:30 +0100
parents 9376bcef72f5
children fe8bc9fdba26
files cc.def
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/cc.def	Thu Aug 15 12:45:53 2024 +0100
+++ b/cc.def	Thu Aug 15 12:46:30 2024 +0100
@@ -2,7 +2,8 @@
 From: debian:bullseye
 
 %files
-   /usr/local/bin/stats
+   /usr/local/bin/stats /usr/local/bin
+   /etc/krb5.conf /etc
 
 %post
     sed 's/PS1/PSone/' -i .singularity.d/env/99-base.sh
@@ -54,6 +55,8 @@
     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\