Last modified: 2014-11-17 21:35:52 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T51319, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 49319 - Make it easy to point Vagrant to an existing MediaWiki checkout
Make it easy to point Vagrant to an existing MediaWiki checkout
Status: NEW
Product: MediaWiki-Vagrant
Classification: Unclassified
General (Other open bugs)
unspecified
All All
: Normal enhancement
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2013-06-07 20:57 UTC by Ori Livneh
Modified: 2014-11-17 21:35 UTC (History)
3 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description Ori Livneh 2013-06-07 20:57:01 UTC
You should be able to supply the path to an existing clone of mediawiki/core and have Vagrant share / mount it appropriately.

This is somewhat hindered by the fact that we don't currently share the mediawiki folder, but rather its parent, which is the mediawiki/vagrant repository root. Because that's the case, we can't just tell Vagrant 'share the mediawiki folder, whatever its path', because if its nested under an existing mountpoint NFS / VirtualBox Shared Folders will barf. So this requires some finesse.
Comment 1 Andre Klapper 2013-09-11 22:45:54 UTC
[mass-moving from Tools>MediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.]
Comment 2 Bryan Davis 2014-11-17 21:35:52 UTC
Bulk unassigning bugs from Ori.

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links