Script to ease setting up SSH connections.

[config] / all_new_2018 / setup_web.sh

diff --git a/all_new_2018/setup_web.sh b/all_new_2018/setup_web.sh
index e81b1053f816c0184f5f4def2afaefcaff071138..e046da74477244dafe5f7419ed6bafb86690378b 100755 (executable)
--- a/all_new_2018/setup_web.sh
+++ b/all_new_2018/setup_web.sh
@@ -4,10 +4,11 @@ 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
-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
+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
+systemctl start pull_website.timer