mediawiki/setup.sh

14 lines
283 B
Bash

#!/bin/bash
HTML_ROOT=/var/www/html
# Run updater if we have an existing install
if [[ -e "$HTML_ROOT/LocalSettings.php" ]]; then
cd "$HTML_ROOT/maintenance"
DB_SERVER=$(/get-variable wgDBserver)
/wait-for-it "$DB_SERVER:3306"
php update.php
fi
apache2-foreground