Last modified: 2014-09-10 04:43:15 UTC
To reproduce, introduce a syntax error to LocalSettings.php and run 'vagrant provision'. The error causes the 'check settings' exec task in puppet/modules/mediawiki/manifests/init.pp to fail, which prompts Puppet to delete mediawiki/LocalSettings.php and re-install MediaWiki.
[mass-moving from Tools>MediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.]
Hmm, replace a php run with just a file exists check, perhaps?
Dan and I chatted about this a bit today and he's going to take a stab at alternate behavior.
Change 159217 had a related patch set uploaded by Dduvall: Wiki installer now conditional on existence of database https://gerrit.wikimedia.org/r/159217
Change 159217 merged by jenkins-bot: Wiki installer now conditional on existence of database https://gerrit.wikimedia.org/r/159217
Tested fix by deliberately introducing a syntax error in LocalSettings.php. In my particular configuration, the next puppet run failed with an error while checking for the existence of the Selenium_user account and included a php stacktrace that pointed to the php syntax error. Much nicer than having my whole wiki messed up. I then dropped the database for the wiki and ran `vagrant provision` again. The installer was triggered and the database was recreated.