krebs types.addr6: str -> IPv6 address*

This commit is contained in:
tv 2016-04-08 04:41:30 +02:00
parent 4e99bb9d12
commit e74f4ddf81
2 changed files with 9 additions and 2 deletions

View File

@ -548,7 +548,7 @@ TNs2RYfwDy/r6H/hDeB/BSngPouedEVcPwIDAQAB
nets = {
retiolum = {
ip4.addr = "10.243.0.163";
ip6.addr = "42:b67b:5752:a730:5f28:d80d:6b37:5bda/128";
ip6.addr = "42:b67b:5752:a730:5f28:d80d:6b37:5bda";
aliases = [
"senderechner.r"
];

View File

@ -223,7 +223,14 @@ types // rec {
in x: match IPv4address x != null;
merge = mergeOneOption;
};
addr6 = str; # TODO
addr6 = mkOptionType {
name = "IPv6 address";
check = let
# TODO check IPv6 address harder
IPv6address = "[0-9a-f.:]+";
in x: match IPv6address x != null;
merge = mergeOneOption;
};
pgp-pubkey = str;