From 4b9f88bade8553c11d7934201e177db5ef993821 Mon Sep 17 00:00:00 2001
From: OSAK Buildhauer <osak@fsmpi.rwth-aachen.de>
Date: Fri, 4 Oct 2019 12:23:17 +0000
Subject: [PATCH] linuxparty: don't just overwrite existing Doku
---
scripts/linuxparty.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/linuxparty.sh b/scripts/linuxparty.sh
index 81ae164..abd097c 100644
--- a/scripts/linuxparty.sh
+++ b/scripts/linuxparty.sh
@@ -403,6 +403,7 @@ create_doc()
# jetzt wird hoffentlich an alle relevanten Stellen kopiert
ls -1 /home | grep -v '^kubuntu$' | while read line
do
+ [ -e "/home/$line/Deine-LIP-Dokumentation.pdf" ] && mv "/home/$line/Deine-LIP-Dokumentation.pdf" "/home/$line/Deine-LIP-Dokumentation-old.pdf"
cp "${WORKING_DIR}/DOCUMENTATION.gen.pdf" "/home/$line/Deine-LIP-Dokumentation.pdf"
done
RC=$?
--
GitLab