diff options
Diffstat (limited to 'kartei/mic92')
| -rw-r--r-- | kartei/mic92/default.nix | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/kartei/mic92/default.nix b/kartei/mic92/default.nix index 98580100d..78206a241 100644 --- a/kartei/mic92/default.nix +++ b/kartei/mic92/default.nix @@ -788,6 +788,7 @@ in { aliases = [ "jack.r" "stable-confusion.r" + "llama.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- @@ -827,7 +828,14 @@ in { ruby = { 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"; + aliases = [ "ruby.i" ]; + }; retiolum = { + via = internet; aliases = [ "ruby.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- @@ -859,6 +867,7 @@ in { aliases = [ "amy.i" ]; }; retiolum = { + via = internet; aliases = [ "amy.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- @@ -884,6 +893,7 @@ in { aliases = [ "rose.i" ]; }; retiolum = { + via = internet; aliases = [ "rose.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- @@ -910,6 +920,7 @@ in { aliases = [ "clara.i" ]; }; retiolum = { + via = internet; aliases = [ "clara.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- |