Monitor fox via ICMP

It should reply once the machine is connected to the UPC network.

m/fox/configuration.nix

@@ -24,6 +24,11 @@
     nameservers = [ "8.8.8.8" ];
     hostName = "fox";
     interfaces.enp1s0f0np0.ipv4.addresses = [
+      {
+        # BSC network (to be removed)
+        address = "10.0.40.26";
+        prefixLength = 24;
+      }
       {
         # UPC network
         # Public IP configuration:
@@ -47,7 +52,19 @@
       # Fox BSC
       10.0.40.26      fox
       10.0.40.126     fox-ipmi
+    '' +
+    # To be removed:
+    ''
+      # Hut BSC
+      10.0.40.7       hut
     '';
+
+    # To be removed:
+    proxy = {
+      default = "http://hut:23080/";
+      noProxy = "127.0.0.1,localhost,internal.domain,10.0.40.40,hut";
+      allProxy = null;
+    };
   };
 
   # Configure Nvidia driver to use with CUDA

m/hut/monitoring.nix

@@ -170,7 +170,6 @@
             "ssfhead"
             "anella-bsc.cesca.cat"
             "fox.ac.upc.edu"
-            "arenys5.ac.upc.edu"
           ];
         }];
         relabel_configs = [