~widelands-dev/widelands-website/django_staticfiles

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/bin/sh
# Updates all packages on the server, but stops the widelands website before
# doing so, in case mysql gets updated - it always results in really ugly
# errors for users otherwise. Ideally, this script would switch the website to
# a "In Maintenance" banner.
#
# This script requires root access.

set -ex

apt-get update
stop wlwebsite

apt-get dist-upgrade -y

start wlwebsite

apt-get autoremove -y