From 86650a287995463fff82773843294ba78dbfa7a1 Mon Sep 17 00:00:00 2001
From: Miroslav Sommer <miroslav.sommer@hiscox.com>
Date: Mon, 20 Nov 2017 15:34:31 +0000
Subject: [PATCH] #10 Default package manager for RedHat is yum instead of rpm

---
 manifests/install.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/install.pp b/manifests/install.pp
index 1858223c..062f7853 100755
--- a/manifests/install.pp
+++ b/manifests/install.pp
@@ -74,7 +74,7 @@
           $pk_provider = 'dpkg'
         }
         'RedHat' : {
-          $pk_provider = 'rpm'
+          $pk_provider = 'yum'
         }
         'Gentoo' : {
           $pk_provider = 'portage'