From c0f6503ce123be3454da0a75233a4d6148c942e5 Mon Sep 17 00:00:00 2001 From: OSAK Buildhauer <osak@fsmpi.rwth-aachen.de> Date: Wed, 27 Mar 2019 22:51:44 +0000 Subject: [PATCH] Doku location now in /target/home/*/ --- scripts/makeDoku.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scripts/makeDoku.sh b/scripts/makeDoku.sh index 49355b6..b4da047 100755 --- a/scripts/makeDoku.sh +++ b/scripts/makeDoku.sh @@ -47,8 +47,12 @@ if [ $? -ne 0 ]; then fi popd -USER_HOME=$(getent passwd "${SUDO_USER:-$USER}" | cut -d ':' -f6) -cp "${WORKING_DIR}/DOCUMENTATION.gen.pdf" "${USER_HOME}/Deine-LIP-Dokumentation.pdf" +#USER_HOME=$(getent passwd "${SUDO_USER:-$USER}" | cut -d ':' -f6) +#cp "${WORKING_DIR}/DOCUMENTATION.gen.pdf" "${USER_HOME}/Deine-LIP-Dokumentation.pdf" +# jetzt wird hoffentlich an alle relevanten Stellen kopiert +for i in /home/*/; do + cp "${WORKING_DIR}/DOCUMENTATION.gen.pdf" "$i""/Deine-LIP-Dokumentation.pdf" +done RC=$? exit $RC -- GitLab