https://bugzilla.wikimedia.org/show_bug.cgi?id=46909
Web browser: ---
Bug ID: 46909
Summary: Add ability to configure local vagrant settings
without changing VagrantFile
Product: Tools
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: Vagrant
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
Some settings should be configurable by user without touching the main
VagrantFile (in GIT). Vagrant file could have this code:
mediaWikiDir = 'mediawiki'
webPort = 8080
load('LocalSettings.rb') if File.file?('LocalSettings.rb')
Having just these two settings will allow users to move MediaWiki directory to
another location (e.g. one level up to share with other vagrants), and set up
multiple host's ports to address multiple instances.
--
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
