Gergő Tisza has uploaded a new change for review.
https://gerrit.wikimedia.org/r/234827
Change subject: Show current values in vagrant config --list
......................................................................
Show current values in vagrant config --list
Change-Id: Ibc028df155e07502078b0847b7cdd90c7161f903
---
M lib/mediawiki-vagrant/config.rb
1 file changed, 9 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/27/234827/1
diff --git a/lib/mediawiki-vagrant/config.rb b/lib/mediawiki-vagrant/config.rb
index db42097..1802577 100644
--- a/lib/mediawiki-vagrant/config.rb
+++ b/lib/mediawiki-vagrant/config.rb
@@ -146,10 +146,15 @@
# Lists all defined settings and their currently set values.
#
def list_settings
- Settings.definitions.reject { |_, setting| setting.internal? }.each do
|name, setting|
- @env.ui.info "#{name}\t#{setting.description}", :bold => true
- @env.ui.info indent(setting.help, 2) unless setting.help.nil?
- @env.ui.info ""
+ configure do |settings|
+ settings.reject { |_, setting| setting.internal? }.each do |name,
setting|
+ @env.ui.info "#{name}\t#{setting.description}", :bold => true
+ @env.ui.info indent(setting.help, 2) unless setting.help.nil?
+ value_info = "Current value: #{setting.value}"
+ value_info += " (default)" unless setting.set?
+ @env.ui.info indent(value_info, 2)
+ @env.ui.info ""
+ end
end
end
--
To view, visit https://gerrit.wikimedia.org/r/234827
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibc028df155e07502078b0847b7cdd90c7161f903
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
