diff options
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/mic92/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kartei/mic92/default.nix b/kartei/mic92/default.nix index 720b362fd..e7d1150c6 100644 --- a/kartei/mic92/default.nix +++ b/kartei/mic92/default.nix @@ -844,9 +844,9 @@ in { owner = config.krebs.users.mic92; nets = rec { internet = { - # of4.dse.cit.tum.de. - ip4.addr = "131.159.38.101"; - ip6.addr = "2a09:80c0:38::101"; + # ruby.dse.cit.tum.de. + ip4.addr = "131.159.38.70"; + ip6.addr = "2a09:80c0:38::70"; aliases = [ "ruby.i" ]; }; retiolum = { |