From 8708e02d35914f88aa413297173e7582bfd72b6f Mon Sep 17 00:00:00 2001
From: clerie <git@clerie.de>
Date: Mon, 28 Feb 2022 16:33:23 +0100
Subject: [PATCH] Add more addresses to ping

---
 hosts/monitoring-3/configuration.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/hosts/monitoring-3/configuration.nix b/hosts/monitoring-3/configuration.nix
index 050f72b..d05f294 100644
--- a/hosts/monitoring-3/configuration.nix
+++ b/hosts/monitoring-3/configuration.nix
@@ -68,6 +68,10 @@ in {
     port = 9374;
     hosts = [
       "clerie.de"
+      "fluorine.net.clerie.de"
+      "www.fem.tu-ilmenau.de"
+      "www.heise.de"
+      "212.218.154.100" # ie10-ffm1
     ];
   };