https://bugzilla.wikimedia.org/show_bug.cgi?id=49319
Web browser: ---
Bug ID: 49319
Summary: Make it easy to point Vagrant to an existing MediaWiki
checkout
Product: Tools
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: MediaWiki-Vagrant
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
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.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
