set -e

sudo echo 'wfLoadSkin( "GreyStuff" ); $wgDefaultSkin = "greystuff";' >> /etc/mediawiki/LocalSettings.php

