Merge branch 'master' of ssh://git.nordu.net/eid-ops

This commit is contained in:
Erik Bergström 2018-05-03 12:39:24 +02:00
commit 2763aa9063

View file

@ -55,6 +55,7 @@ if ! test -d /var/cache/cosmos/repo; then
cosmos clone "$cmd_repo"
fi
if [ -f /etc/rc.local ]; then
# re-run cosmos at reboot until it succeeds - use bash -l to get working proxy settings
grep -v "^exit 0" /etc/rc.local > /etc/rc.local.new
(echo ""
@ -63,6 +64,7 @@ grep -v "^exit 0" /etc/rc.local > /etc/rc.local.new
echo "exit 0"
) >> /etc/rc.local.new
mv -f /etc/rc.local.new /etc/rc.local
fi
touch /etc/run-cosmos-at-boot