notplantsandClaude Fable 5.1
f105808bed
hardware.nix / networking.nix are now the nixos-infect output of 195.201.88.249 (ESP E079-7D41, eth0 MAC-pinned), with the one edit that matters: defaultGateway as an attrset with interface = "eth0". README §2a records what it actually took to get NixOS running on the Debian 13 image: NO_SWAP=true (tmpfs /tmp), a manual lustration from rescue mode because 26.05's systemd initrd did not honour NIXOS_LUSTRATE (Debian's unit files shadowed every NixOS service), and the gateway fix applied via a chroot rebuild with the nix sandbox off. flake: cc-ci input back on main (PR #32 merged as f6dbfa3); loops uid pinned to 1000 so workspace rsyncs by uid line up. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FqkQq3CDmFWcQ7u1LzoyRz
39 lines
1.3 KiB
Nix
39 lines
1.3 KiB
Nix
# 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"
|
|
|
|
'';
|
|
}
|