set default network config

Author: Plopmenz

os/flake.nix

@@ -220,12 +220,15 @@
                 if (builtins.pathExists ./network-config) then
                   builtins.fromJSON (builtins.readFile ./network-config)
                 else
-                  { };
+                  {
+                    address = [ ];
+                    route = [ ];
+                  };
               network-config = builtins.map (address: {
                 name = address.address;
                 value = {
-                  ip = builtins.map (ip: { address = "${ip.local}/${ip.prefixlen}"; }) (
-                    builtins.filter (ip: ip.scope == "global" && !ip.dynamic) address.addr_info
+                  ip = builtins.map (ip: { address = "${ip.local}/${builtins.toString ip.prefixlen}"; }) (
+                    builtins.filter (ip: ip.scope == "global" && !(ip.dynamic or false)) address.addr_info
                   );
                   route =
                     builtins.map