Fix problems with web server setup.

[config] / all_new_2018 / setup_web.sh

diff --git a/all_new_2018/setup_web.sh b/all_new_2018/setup_web.sh
index 8cd1401e24e13c3b40cf1fae3cc3ca0612f29349..517e0afbdb5c2aa429c5972b796ed5e5681c0feb 100755 (executable)
--- a/all_new_2018/setup_web.sh
+++ b/all_new_2018/setup_web.sh
@@ -8,4 +8,5 @@ apt -y -o Dpkg::Options::=--force-confold install nginx gitweb fcgiwrap
 cd /var/
 rm -rf www
 git clone plom@core.plomlompom.com:repos/website www
+su plom -c 'cd /var/ && mkdir public_repos'
 iptables-restore /etc/iptables/rules.v4