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
    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 --dbpass vagrant --pass vagrant --scriptpath /w --dbuser
 returned 1 instead of one of [0] at

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

Reply via email to