mic92: add dns name to sandro's machine

This commit is contained in:
Jörg Thalheim 2021-11-09 07:15:51 +01:00
parent a36a09931e
commit 87b7045f53
2 changed files with 4 additions and 2 deletions

View File

@ -632,8 +632,10 @@ in {
}; };
hydrogen = { hydrogen = {
owner = config.krebs.users.sandro; owner = config.krebs.users.sandro;
nets = { nets = rec {
internet.addrs = [ "hydrogen.supersandro.de" ];
retiolum = { retiolum = {
via = internet;
ip4.addr = "10.243.54.54"; ip4.addr = "10.243.54.54";
aliases = [ "hydrogen.r" ]; aliases = [ "hydrogen.r" ];
tinc.pubkey = '' tinc.pubkey = ''

View File

@ -113,7 +113,7 @@ rec {
default = null; default = null;
}; };
addrs = mkOption { addrs = mkOption {
type = listOf addr; type = listOf (either addr str);
default = default =
optional (config.ip4 != null) config.ip4.addr ++ optional (config.ip4 != null) config.ip4.addr ++
optional (config.ip6 != null) config.ip6.addr; optional (config.ip6 != null) config.ip6.addr;