Fix play 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
old mode 100644 (file)
new mode 100755 (executable)
index 55edd39..661aa74
--- a/all_new_2018/setup_web.sh
+++ b/all_new_2018/setup_web.sh
@@ -4,5 +4,10 @@ set -e
 ./hardlink_etc.sh web
 sed -i "s/REPLACE_fqdn_ECALPER/$(hostname -f)/g" /etc/nginx/nginx.conf
 sed -i "s/REPLACE_fqdn_ECALPER/$(hostname -f)/g" /etc/gitweb.conf
+cd /var/
+rm -rf www
+git clone plom@core.plomlompom.com:repos/website www
 apt -y -o Dpkg::Options::=--force-confold install nginx gitweb fcgiwrap
+mkdir /var/public_repos
+chown plom:plom /var/public_repos
 iptables-restore /etc/iptables/rules.v4