User:MZMcBride/update_all_the_things.sh

From mediawiki.org
#! /bin/bash
# Inspired by wctaiwan

set -e

BASE_PATH=/var/www/wikis/w

cd $BASE_PATH
echo "Updating core"
git pull --rebase --prune

echo "Updating vendor"
cd $BASE_PATH/vendor
git pull --rebase --prune

cd $BASE_PATH/extensions
for d in */ ; do
    echo "Updating extensions/$d"
    cd $d && git pull --rebase --prune && cd ..
done

cd $BASE_PATH/skins
for d in */ ; do
    echo "Updating skins/$d"
    cd $d && git pull --rebase --prune && cd ..
done

echo "Running update.php"
php $BASE_PATH/maintenance/update.php --quick --quiet