Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/73318
Change subject: Tee Puppet output to console & /vagrant/logs/puppet.log ...................................................................... Tee Puppet output to console & /vagrant/logs/puppet.log I was not able to find documentation for this, but it appears you can specify multiple '--logdest' args to Puppet to have the log output go to multiple destinations. I confirmed this experimentally, and also looked at Puppet's code to confirm that this behavior is by design. It is, as you can see from <http://git.io/FAkULw>. Change-Id: I026c690bf10d29aa6b6cc581b98950c013fea92e --- M Vagrantfile 1 file changed, 3 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/18/73318/1 diff --git a/Vagrantfile b/Vagrantfile index d6e1868..3b87391 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -79,10 +79,12 @@ puppet.manifest_file = 'site.pp' puppet.options = [ - '--verbose', '--templatedir', '/vagrant/puppet/templates', '--node_terminus', 'exec', '--external_nodes', '/vagrant/puppet/extra/puppet-classifier', + '--verbose', + '--logdest', '/vagrant/logs/puppet.log', + '--logdest', 'console', ] # For more output, uncomment the following line: -- To view, visit https://gerrit.wikimedia.org/r/73318 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I026c690bf10d29aa6b6cc581b98950c013fea92e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
