[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Install firejail

2018-01-07 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/402624 )

Change subject: Install firejail
..


Install firejail

Change-Id: I488d420d094ff2885b1f6547152f9a311d4cda81
---
M puppet/modules/mediawiki/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  BryanDavis: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/puppet/modules/mediawiki/manifests/init.pp 
b/puppet/modules/mediawiki/manifests/init.pp
index 2dea2a3..11c2043 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -81,7 +81,7 @@
 include ::mediawiki::ready_service
 include ::mediawiki::psysh
 
-require_package('parallel')
+require_package('parallel', 'firejail')
 
 $managed_settings_dir = "${settings_dir}/puppet-managed"
 

-- 
To view, visit https://gerrit.wikimedia.org/r/402624
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I488d420d094ff2885b1f6547152f9a311d4cda81
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza 
Gerrit-Reviewer: BryanDavis 
Gerrit-Reviewer: Dduvall 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Install firejail

2018-01-06 Thread Code Review 
Gergő Tisza has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/402624 )

Change subject: Install firejail
..

Install firejail

Change-Id: I488d420d094ff2885b1f6547152f9a311d4cda81
---
M puppet/modules/mediawiki/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant 
refs/changes/24/402624/1

diff --git a/puppet/modules/mediawiki/manifests/init.pp 
b/puppet/modules/mediawiki/manifests/init.pp
index 2dea2a3..11c2043 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -81,7 +81,7 @@
 include ::mediawiki::ready_service
 include ::mediawiki::psysh
 
-require_package('parallel')
+require_package('parallel', 'firejail')
 
 $managed_settings_dir = "${settings_dir}/puppet-managed"
 

-- 
To view, visit https://gerrit.wikimedia.org/r/402624
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I488d420d094ff2885b1f6547152f9a311d4cda81
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits