Add more addresses to ping

2022-02-28 16:33:23 +01:00 · 2022-02-28 16:33:23 +01:00 · 8708e02d35
commit 8708e02d35
parent 2a462cb90a
1 changed files with 4 additions and 0 deletions
--- 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
    ];
  };