diff --git a/pica-dokuwiki/run.sh b/pica-dokuwiki/run.sh index 2037c1de096c16f5a0a8e5aebaa4f09bd3018b06..948ceb9fa2248f8647dcf48b5f412280cc5d8484 100755 --- a/pica-dokuwiki/run.sh +++ b/pica-dokuwiki/run.sh @@ -9,6 +9,10 @@ set -m echo "Copy static Dokuwiki files on top of existing pages..." cp -afP /var/www/{update/*,html/} +echo "Remove old files..." +grep -Ev '^($|#)' /var/www/html/data/deleted.files | xargs -n 1 rm -vf + +echo "Launching Dokuwiki..." php-fpm7.3 & nginx &