Skip to content
This repository was archived by the owner on Sep 23, 2023. It is now read-only.

Commit 7ff05d2

Browse files
committed
Don't abandon a wiki if the main page wasn't edited
Various errors have caused this script to fail, but it isn't critical, so let the wiki continue to install so the error can be better debugged. Part of #385
1 parent 6cd9042 commit 7ff05d2

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

new/postinstall.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ set -ex
44
# update Main_Page
55
sleep 1 # Ensure edit appears after creation in history
66
MAINPAGETITLE=$( echo 'echo Title::newMainPage()->getDBkey();' | php $PATCHDEMO/wikis/$NAME/w/maintenance/eval.php 2> /dev/null )
7-
echo "$MAINPAGE" | php $PATCHDEMO/wikis/$NAME/w/maintenance/edit.php "$MAINPAGETITLE"
7+
echo "$MAINPAGE" | php $PATCHDEMO/wikis/$NAME/w/maintenance/edit.php "$MAINPAGETITLE" || echo "Can't edit main page"
88

99
# run update script (#166, #244)
1010
php $PATCHDEMO/wikis/$NAME/w/maintenance/update.php --quick

0 commit comments

Comments
 (0)