Giuseppe Lavagetto has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/368638 )

Change subject: puppet: make all priorities explicitly integers
......................................................................


puppet: make all priorities explicitly integers

Change-Id: I0b7014eb020f5bb93616dfe8ed1bb9c327a3314f
---
M modules/backup/manifests/set.pp
M modules/motd/manifests/defaults.pp
M modules/profile/manifests/mediawiki/deployment/server.pp
M modules/profile/manifests/releases/reprepro.pp
M modules/system/manifests/role.pp
5 files changed, 5 insertions(+), 5 deletions(-)

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



diff --git a/modules/backup/manifests/set.pp b/modules/backup/manifests/set.pp
index 2db1d03..643af43 100644
--- a/modules/backup/manifests/set.pp
+++ b/modules/backup/manifests/set.pp
@@ -18,7 +18,7 @@
         $motd_content = "#!/bin/sh\necho \"Backed up on this host: ${name}\""
         @motd::script { "backups-${name}":
             ensure   => present,
-            priority => 06,
+            priority => 6,
             content  => $motd_content,
             tag      => 'backup-motd',
         }
diff --git a/modules/motd/manifests/defaults.pp 
b/modules/motd/manifests/defaults.pp
index d5b7fe0..0856cc0 100644
--- a/modules/motd/manifests/defaults.pp
+++ b/modules/motd/manifests/defaults.pp
@@ -16,7 +16,7 @@
     #   hasn't observed here so far.
     motd::script { 'header':
         ensure   => present,
-        priority => 00,
+        priority => 0,
         content  => "#!/bin/sh\nuname -snrvm\nlsb_release -s -d\n\n",
     }
 
diff --git a/modules/profile/manifests/mediawiki/deployment/server.pp 
b/modules/profile/manifests/mediawiki/deployment/server.pp
index c5f8f3b..3479e77 100644
--- a/modules/profile/manifests/mediawiki/deployment/server.pp
+++ b/modules/profile/manifests/mediawiki/deployment/server.pp
@@ -104,7 +104,7 @@
 
     motd::script { 'inactive_warning':
         ensure   => $deploy_ensure,
-        priority => 01,
+        priority => 1,
         content  => template('role/deployment/inactive.motd.erb'),
     }
 
diff --git a/modules/profile/manifests/releases/reprepro.pp 
b/modules/profile/manifests/releases/reprepro.pp
index 62758d7..4c4ad4b 100644
--- a/modules/profile/manifests/releases/reprepro.pp
+++ b/modules/profile/manifests/releases/reprepro.pp
@@ -28,7 +28,7 @@
 
     @motd::script { 'releases':
         ensure   => present,
-        priority => 06,
+        priority => 6,
         content  => $motd_content,
         tag      => 'releases-motd',
     }
diff --git a/modules/system/manifests/role.pp b/modules/system/manifests/role.pp
index 34bf5d4..a803f86 100644
--- a/modules/system/manifests/role.pp
+++ b/modules/system/manifests/role.pp
@@ -30,7 +30,7 @@
 
     motd::script { "role-${role_title}":
         ensure   => $ensure,
-        priority => 05,
+        priority => 5,
         content  => "#!/bin/sh\necho '${message}'\n",
     }
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I0b7014eb020f5bb93616dfe8ed1bb9c327a3314f
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to