Add more addresses to ping

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
     ];
   };
 

hosts/web-2/wetter.nix

@@ -24,6 +24,18 @@ in {
   };
   users.groups.wetter_web = {};
 
+  users.users.wetter_scraper = {
+    description = "Wetter Scraper";
+    group = "wetter_scraper";
+    home = "/var/lib/wetter/";
+    useDefaultShell = true;
+    isSystemUser = true;
+    openssh.authorizedKeys.keys = [
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIC4kCYnm6mnPI3nPF5YmYCxeVqL4i02dSIJ9kngxu9rS dwd-scraper"
+    ];
+  };
+  users.groups.wetter_scraper = {};
+
   services.postgresql = {
     ensureDatabases = [ "wetter" ];
     ensureUsers = [