kartei ruby: 131.159.38.101 -> 131.159.38.70

This commit is contained in:
Jörg Thalheim 2023-09-18 15:06:59 +02:00
parent a2a9a89411
commit 579c68e876

View File

@ -844,9 +844,9 @@ in {
owner = config.krebs.users.mic92; owner = config.krebs.users.mic92;
nets = rec { nets = rec {
internet = { internet = {
# of4.dse.cit.tum.de. # ruby.dse.cit.tum.de.
ip4.addr = "131.159.38.101"; ip4.addr = "131.159.38.70";
ip6.addr = "2a09:80c0:38::101"; ip6.addr = "2a09:80c0:38::70";
aliases = [ "ruby.i" ]; aliases = [ "ruby.i" ];
}; };
retiolum = { retiolum = {