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
_______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
