From 87b7045f53687683364e7d422edcb1d167a8c2ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Tue, 9 Nov 2021 07:15:51 +0100 Subject: mic92: add dns name to sandro's machine --- lib/types.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/types.nix b/lib/types.nix index 6755eef03..b6c266c33 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