images/mediawiki
7
0
Fork 0
Code Issues1 Pull requests Projects Releases Wiki Activity

Small entrypoint fixes

Browse source
This commit is contained in:
paul 2021-01-12 12:37:43 +01:00
parent 56cfaac694
commit b581d320eb
3 changed files with 17 additions and 5 deletions

18
scripts/db-setup.sh
View file

@ -3,8 +3,8 @@ set -euo pipefail
cd /var/www/html/
# The install script doesn't want there to be a LocalSettings.php file
echo Killing LocalSettings.php
# The install script doesn't want there to be an existing LocalSettings.php
echo Deleting LocalSettings.php
echo
rm /var/www/html/LocalSettings.php
@ -12,14 +12,24 @@ rm /var/www/html/LocalSettings.php
echo Install.php
echo
php maintenance/install.php --dbtype "${MEDIAWIKI_DB_TYPE}" --dbname "${MEDIAWIKI_DB_NAME}" --dbuser "${MEDIAWIKI_DB_USER}" --dbport "${MEDIAWIKI_DB_PORT}" --dbpass "${MEDIAWIKI_DB_PASSWORD}" --scriptpath "/var/www/html/" --dbserver "${MEDIAWIKI_DB_HOST}" --pass "${MEDIAWIKI_ADMIN_PASS}" --dbpath "${MEDIAWIKI_DATABASE_DIR}" "${MEDIAWIKI_SITE_NAME}" "${MEDIAWIKI_ADMIN_USER}"
php maintenance/install.php \
--dbtype "${WG_DB_TYPE}" \
--dbname "${WG_DB_NAME}" \
--dbuser "${WG_DB_USER}" \
--dbport "${WG_DB_PORT}" \
--dbpass "${WG_DB_PASSWORD}" \
--scriptpath "/var/www/html/" \
--dbserver "${WG_DB_SERVER}" \
--pass "${MEDIAWIKI_ADMIN_PASS}" \
--dbpath "${WG_DATABASE_DIR}" \
"${WG_SITENAME}" "${MEDIAWIKI_ADMIN_USER}"
# Now, we're going to replace the LocalSettings.php file that install.php just generated with ours
# This way, update.php will work.
rm /var/www/html/LocalSettings.php
ln -s /var/www/conf/LocalSettings.php /var/www/html/LocalSettings.php
echo LocalSettings.php restored
echo LocalSettings.php linked
echo
echo Creating localstore