Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/342648 )
Change subject: Add network::monitor role
......................................................................
Add network::monitor role
Bug: T148541
Change-Id: I5149d27c4a57a5ab0ab17e85f7479803e18dffc4
---
M manifests/site.pp
A modules/role/manifests/network/monitor.pp
2 files changed, 7 insertions(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, but someone else must approve
jenkins-bot: Verified
Filippo Giunchedi: Looks good to me, approved
diff --git a/manifests/site.pp b/manifests/site.pp
index 54a1059..2daf809 100644
--- a/manifests/site.pp
+++ b/manifests/site.pp
@@ -2270,7 +2270,8 @@
# network monitoring tool server
node 'netmon1001.wikimedia.org' {
- role(rancid::server, librenms, servermon::wmf, torrus, smokeping)
+ role(rancid::server, librenms, servermon::wmf, torrus, smokeping,
+ network::monitor)
include ::standard
include ::passwords::network
include ::base::firewall
diff --git a/modules/role/manifests/network/monitor.pp
b/modules/role/manifests/network/monitor.pp
new file mode 100644
index 0000000..cf09c2e
--- /dev/null
+++ b/modules/role/manifests/network/monitor.pp
@@ -0,0 +1,5 @@
+class role::network::monitor {
+ include ::standard
+ include ::base::firewall
+ include ::profile::prometheus::snmp_exporter
+}
--
To view, visit https://gerrit.wikimedia.org/r/342648
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5149d27c4a57a5ab0ab17e85f7479803e18dffc4
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[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
