host-registry: add dacbert, pulsebert ip4 addresses

This commit is contained in:
Astro 2022-09-14 00:19:19 +02:00
parent e2165a74ad
commit a237d67397
2 changed files with 6 additions and 5 deletions

View File

@ -1,8 +1,10 @@
# Registry of C3D2 machines.
{
dacbert.ip4 = "dacbert.hq.c3d2.de";
dacbert.serial = "3c271952";
dacbert = {
serial = "3c271952";
ip4 = "172.22.99.203";
};
riscbert.ip4 = "riscbert.c3d2.zentralwerk.org";
@ -57,8 +59,7 @@
pulsebert = {
ether = "dc:a6:32:31:b6:32";
publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFQCsDss9Gq3/eTKqpgEwXK+nhnuARS4/kHqF2+laGnp";
wol = true;
ip4 = "pulsebert.hq.c3d2.de";
ip4 = "172.22.99.208";
};
samba = { };

View File

@ -29,7 +29,7 @@
/var/lib/nfsroot/dacbert ${
lib.concatMapStringsSep " " (subnet:
"${subnet}(${opts "rw" 1})"
) allowed
) [ "${hostRegistry.dacbert.ip4}/32" "${hostRegistry.dacbert.ip6}/128" ]
}
/var/lib/nfsroot/riscbert ${
lib.concatMapStringsSep " " (subnet: