From c86dce34d2e64e762e33866078690cec49edf40b Mon Sep 17 00:00:00 2001
From: =?utf8?q?H=C3=A9ctor=20Or=C3=B3n=20Mart=C3=ADnez?= <zumbi@debian.org>
Date: Sun, 12 Aug 2018 18:03:35 +0200
Subject: [PATCH] porterbox: install dgit. rt#7366
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Héctor Orón Martínez <zumbi@debian.org>
---
 modules/porterbox/manifests/init.pp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/modules/porterbox/manifests/init.pp b/modules/porterbox/manifests/init.pp
index 4ed9a21f4..ba83efd4e 100644
--- a/modules/porterbox/manifests/init.pp
+++ b/modules/porterbox/manifests/init.pp
@@ -1,6 +1,10 @@
 class porterbox {
 	include schroot
 
+	package { 'dgit':
+		ensure => installed,
+	}
+
 	file { '/usr/local/bin/dd-schroot-cmd':
 		mode    => '0555',
 		source  => 'puppet:///modules/porterbox/dd-schroot-cmd',
-- 
2.20.1