diff --git a/scripts/makeDoku.sh b/scripts/makeDoku.sh index 49355b6697ce2a622a3486cd3f74b109e968cd6d..b4da0479bedcf27aef419041c89c7948e20a62ca 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