https://bugzilla.wikimedia.org/show_bug.cgi?id=61235
Web browser: ---
Bug ID: 61235
Summary: vagrant up didn't git pull mediawiki
Product: MediaWiki-Vagrant
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: General
Assignee: o...@wikimedia.org
Reporter: dandree...@wikimedia.org
CC: o...@wikimedia.org, yuvipa...@gmail.com
Classification: Unclassified
Mobile Platform: ---
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.
NOTE: it's smart to git fetch --depth because otherwise you'll be waiting a
long time :)
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
