jenkins-bot has submitted this change and it was merged. 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(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified 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: merged Gerrit-Change-Id: I026c690bf10d29aa6b6cc581b98950c013fea92e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
