Merge remote-tracking branch 'cd/master'

krebs/3modules/default.nix

@@ -77,6 +77,7 @@ let
     {
       krebs.dns.providers = {
         de.krebsco = "zones";
+        gg23 = "hosts";
         internet = "hosts";
         retiolum = "hosts";
       };

krebs/3modules/tv/default.nix

@@ -134,6 +134,10 @@ with import ../../4lib { inherit lib; };
       cores = 2;
       dc = "tv"; #dc = "gg23";
       nets = rec {
+        gg23 = {
+          addrs4 = ["10.23.1.110"];
+          aliases = ["nomic.gg23"];
+        };
         retiolum = {
           addrs4 = ["10.243.0.110"];
           addrs6 = ["42:02d5:733f:d6da:c0f5:2bb7:2b18:09ec"];
@@ -156,6 +160,14 @@ with import ../../4lib { inherit lib; };
       secure = true;
       ssh.pubkey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILn7C3LxAs9kUynENdRNgQs4qjrhNDfXzlHTpVJt6e09";
     };
+    ok = {
+      nets = {
+        gg23 = {
+          addrs4 = ["10.23.1.1"];
+          aliases = ["ok.gg23"];
+        };
+      };
+    };
     rmdir = rec {
       cores = 1;
       dc = "tv"; #dc = "cac";
@@ -189,11 +201,31 @@ with import ../../4lib { inherit lib; };
       ssh.privkey.path = <secrets/ssh.id_ed25519>;
       ssh.pubkey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICLuhLRmt8M5s2Edwwl9XY0KAAivzmPCEweesH5/KhR4";
     };
+    schnabeldrucker = {
+      nets = {
+        gg23 = {
+          addrs4 = ["10.23.1.21"];
+          aliases = ["schnabeldrucker.gg23"];
+        };
+      };
+    };
+    schnabelscanner = {
+      nets = {
+        gg23 = {
+          addrs4 = ["10.23.1.22"];
+          aliases = ["schnabelscanner.gg23"];
+        };
+      };
+    };
     wu = {
       cores = 4;
       # TODO wu is mobile, so dc means "home data center"
       dc = "tv"; #dc = "gg23";
       nets = {
+        gg23 = {
+          addrs4 = ["10.23.1.37"];
+          aliases = ["wu.gg23"];
+        };
         retiolum = {
           addrs4 = ["10.243.13.37"];
           addrs6 = ["42:0:0:0:0:0:0:1337"];
@@ -220,6 +252,10 @@ with import ../../4lib { inherit lib; };
       # TODO xu is mobile, so dc means "home data center"
       dc = "tv"; #dc = "gg23";
       nets = {
+        gg23 = {
+          addrs4 = ["10.23.1.38"];
+          aliases = ["xu.gg23"];
+        };
         retiolum = {
           addrs4 = ["10.243.13.38"];
           addrs6 = ["42:0:0:0:0:0:0:1338"];

krebs/4lib/types.nix

@@ -19,7 +19,6 @@ types // rec {
       };
       nets = mkOption {
         type = attrsOf net;
-        apply = x: assert hasAttr "retiolum" x; x;
       };
 
       extraZones = mkOption {

tv/1systems/wu.nix

@@ -383,16 +383,6 @@ with lib;
 
   virtualisation.libvirtd.enable = true;
 
-  networking.extraHosts = ''
-    192.168.1.1 wrt.gg23 wrt
-    192.168.1.11 mors.gg23
-    192.168.1.12 uriel.gg23
-    192.168.1.23 raspi.gg23 raspi
-    192.168.1.37 wu.gg23
-    192.168.1.111 nomic.gg23
-    192.168.1.124 schnabeldrucker.gg23 schnabeldrucker
-  '';
-
   services.udev.extraRules = ''
     SUBSYSTEM=="net", ATTR{address}=="00:90:f5:da:aa:c3", NAME="en0"
     SUBSYSTEM=="net", ATTR{address}=="a0:88:b4:1b:ae:6c", NAME="wl0"