From 87b7045f53687683364e7d422edcb1d167a8c2ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Tue, 9 Nov 2021 07:15:51 +0100
Subject: mic92: add dns name to sandro's machine

---
 krebs/3modules/external/default.nix | 4 +++-
 lib/types.nix                       | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/krebs/3modules/external/default.nix b/krebs/3modules/external/default.nix
index 28d58b52..9b7ebf31 100644
--- a/krebs/3modules/external/default.nix
+++ b/krebs/3modules/external/default.nix
@@ -632,8 +632,10 @@ in {
     };
     hydrogen = {
       owner = config.krebs.users.sandro;
-      nets = {
+      nets = rec {
+        internet.addrs = [ "hydrogen.supersandro.de" ];
         retiolum = {
+          via = internet;
           ip4.addr = "10.243.54.54";
           aliases = [ "hydrogen.r" ];
           tinc.pubkey = ''
diff --git a/lib/types.nix b/lib/types.nix
index 6755eef0..b6c266c3 100644
--- a/lib/types.nix
+++ b/lib/types.nix
@@ -113,7 +113,7 @@ rec {
         default = null;
       };
       addrs = mkOption {
-        type = listOf addr;
+        type = listOf (either addr str);
         default =
           optional (config.ip4 != null) config.ip4.addr ++
           optional (config.ip6 != null) config.ip6.addr;
-- 
cgit v1.2.3