Add Raspbian OS to configure provider

jordi-upc · jordi-upc · commit d926925d94bd · 2022-07-20T21:22:14.000+02:00
diff --git a/manifests/params.pp b/manifests/params.pp
@@ -170,7 +170,7 @@
     }
 
     'Debian': {
-      if $facts['os']['name'] == 'Debian' or
+      if $facts['os']['name'] == 'Debian' or $facts['os']['name'] == 'Raspbian' or
       ($facts['os']['name'] == 'Ubuntu' and versioncmp($facts['os']['release']['major'], '20.04') >= 0) {
         $provider = 'mariadb'
       } else {

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@`
`170`	`170`	`}`
`171`	`171`
`172`	`172`	`'Debian': {`
`173`		`- if $facts['os']['name'] == 'Debian' or`
	`173`	`+ if $facts['os']['name'] == 'Debian' or $facts['os']['name'] == 'Raspbian' or`
`174`	`174`	`($facts['os']['name'] == 'Ubuntu' and versioncmp($facts['os']['release']['major'], '20.04') >= 0) {`
`175`	`175`	`$provider = 'mariadb'`
`176`	`176`	`} else {`