From 80459262004c8e31e4937450862e2158a3716095 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Wed, 8 Mar 2023 13:33:24 +0100
Subject: [PATCH] kartei/mic92: expose public tinc endpoint addresses

---
 kartei/mic92/default.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/kartei/mic92/default.nix b/kartei/mic92/default.nix
index 98580100d..04aa57d1d 100644
--- a/kartei/mic92/default.nix
+++ b/kartei/mic92/default.nix
@@ -827,7 +827,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 +866,7 @@ in {
           aliases = [ "amy.i" ];
         };
         retiolum = {
+          via = internet;
           aliases = [ "amy.r" ];
           tinc.pubkey = ''
             -----BEGIN RSA PUBLIC KEY-----
@@ -884,6 +892,7 @@ in {
           aliases = [ "rose.i" ];
         };
         retiolum = {
+          via = internet;
           aliases = [ "rose.r" ];
           tinc.pubkey = ''
             -----BEGIN RSA PUBLIC KEY-----
@@ -910,6 +919,7 @@ in {
           aliases = [ "clara.i" ];
         };
         retiolum = {
+          via = internet;
           aliases = [ "clara.r" ];
           tinc.pubkey = ''
             -----BEGIN RSA PUBLIC KEY-----