From b40b5fbe6051f196ac3a035f3d559f8d90304356 Mon Sep 17 00:00:00 2001
From: Quentin Duchemin <quentinduchemin@tuta.io>
Date: Wed, 7 Oct 2020 11:35:23 +0200
Subject: [PATCH] [Dokuwiki] Remove playground pages at startup
---
pica-dokuwiki/run.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pica-dokuwiki/run.sh b/pica-dokuwiki/run.sh
index aa4d3976..ca6cae4a 100755
--- a/pica-dokuwiki/run.sh
+++ b/pica-dokuwiki/run.sh
@@ -13,7 +13,7 @@ echo "Remove old files..."
grep -Ev '^($|#)' /var/www/html/data/deleted.files | xargs -n 1 rm -vf
echo "Remove wiki tutorial pages..."
-rm -rf /var/www/html/data/pages/wiki
+rm -rf /var/www/html/data/pages/{wiki,playground}
echo "Add additional MIME types..."
cp /mime.local.conf /var/www/html/conf/
--
GitLab