diff --git a/scripts/linuxparty.sh b/scripts/linuxparty.sh index 81ae164b8fd9e42dcb6264df0ef569b1ba55f643..abd097cacf86233d82f30093c25c54fb42dd1dd1 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=$?