Merge branch 'master' into feature/config_director_dirs

voxpupuli · Dec 3, 2019 · 665a214 · 665a214
2 parents 72e9d38 + e661b2f
commit 665a214
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manifests/repository.pp b/manifests/repository.pp
@@ -32,9 +32,9 @@
   }
 
   case $os {
-      /(?i:redhat|centos|fedora)/: {
+      /(?i:redhat|centos|fedora|virtuozzolinux)/: {
         case $os {
-          'RedHat': {
+          'RedHat', 'VirtuozzoLinux': {
             $location = "${url}RHEL_${osmajrelease}"
           }
           'Centos': {