From 7daa846606c364b4b9c7b1f62b652eb0db853063 Mon Sep 17 00:00:00 2001
From: Quentin Duchemin <quentinduchemin@tuta.io>
Date: Tue, 21 Jan 2020 17:40:29 +0100
Subject: [PATCH] [Dokuwiki] Remove old files when updating
See https://www.dokuwiki.org/install:unused_files for more informations
---
pica-dokuwiki/run.sh | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/pica-dokuwiki/run.sh b/pica-dokuwiki/run.sh
index 2037c1de..948ceb9f 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 &
--
GitLab