vagrant : 1.2.7
virtualbox : 4.2.16
ubuntu : 13.10
uname -r : 3.11.0-15-generic
vagrant up produced this puppet error:
notice: /Stage[main]/Mediawiki/Exec[mediawiki setup]/returns: Could not open input file: /vagrant/mediawiki/maintenance/install.php
err: /Stage[main]/Mediawiki/Exec[mediawiki setup]: Failed to call refresh: php /vagrant/mediawiki/maintenance/install.php devwiki admin --dbname wiki --server http://127.0.0.1:8080 --dbpass vagrant --pass vagrant --scriptpath /w --dbuser root
returned 1 instead of one of [0] at /tmp/vagrant-puppet/modules-0/mediawiki/manifests/init.pp:119
And the following is a workaround:
vagrant ssh
cd /vagrant/mediawiki
git fetch and git checkout the branch of mediawiki you'd like to set up.
Version: unspecified
Severity: normal