# Generated by nixos-infect on this machine (2026-09-07), captured per README §3, with ONE edit: # `defaultGateway` as an attrset WITH `interface = "eth0"`. The generated bare-string form leaves # NixOS ≥25.05 without a default route (the host boots and is unreachable) — see README §2. { lib, ... }: { # This file was populated at runtime with the networking # details gathered from the active system. networking = { nameservers = [ "2a01:4ff:ff00::add:2" "2a01:4ff:ff00::add:1" "185.12.64.2" ]; defaultGateway = { address = "172.31.1.1"; interface = "eth0"; }; defaultGateway6 = { address = "fe80::1"; interface = "eth0"; }; dhcpcd.enable = false; usePredictableInterfaceNames = lib.mkForce false; interfaces = { eth0 = { ipv4.addresses = [ { address="195.201.88.249"; prefixLength=32; } ]; ipv6.addresses = [ { address="2a01:4f8:1c1c:a9b::1"; prefixLength=64; } { address="fe80::2ff8:e3ea:bbb8:aa39"; prefixLength=64; } ]; ipv4.routes = [ { address = "172.31.1.1"; prefixLength = 32; } ]; ipv6.routes = [ { address = "fe80::1"; prefixLength = 128; } ]; }; }; }; services.udev.extraRules = '' ATTR{address}=="92:00:09:d5:ec:0d", NAME="eth0" ''; }