widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

SirVer has proposed merging lp:~widelands-dev/widelands-website/add_ops into lp:widelands-website.

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands-website/add_ops/+merge/302269

Adds the script I regularly run on the server to update everything.
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/add_ops into lp:widelands-website.

=== added directory '_ops'
=== added file '_ops/apt_update.sh'
--- _ops/apt_update.sh	1970-01-01 00:00:00 +0000
+++ _ops/apt_update.sh	2016-08-08 10:07:50 +0000
@@ -0,0 +1,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