jenkins-bot has submitted this change and it was merged.
Change subject: Mention `vagrant config` once setup completes
......................................................................
Mention `vagrant config` once setup completes
Bug: T87687
Change-Id: Id8211fc76eab481dac7c661b67ca7f82f1692a52
---
M lib/mediawiki-vagrant/setup.rb
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
BryanDavis: Looks good to me, approved
jenkins-bot: Verified
diff --git a/lib/mediawiki-vagrant/setup.rb b/lib/mediawiki-vagrant/setup.rb
index 070d297..3116f35 100644
--- a/lib/mediawiki-vagrant/setup.rb
+++ b/lib/mediawiki-vagrant/setup.rb
@@ -70,6 +70,7 @@
configure_settings unless @silent
notify "\nYou're all set! Simply run `vagrant up` to boot your new
environment."
+ notify "\n(Or try `vagrant config --list` to see what else you can
tweak.)"
end
private
--
To view, visit https://gerrit.wikimedia.org/r/187046
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id8211fc76eab481dac7c661b67ca7f82f1692a52
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Dduvall <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: MZMcBride <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
