diff options
author | tv <tv@krebsco.de> | 2016-04-08 04:41:30 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-04-08 04:41:30 +0200 |
commit | e74f4ddf8182067ca4f44d8d4ed91a8c5fc65147 (patch) | |
tree | ac20cfe3dc5b8bbff8fae15f9a40ef1d7e64f570 /krebs/4lib/types.nix | |
parent | 4e99bb9d12405cf1910af3205d8668604e516f50 (diff) |
krebs types.addr6: str -> IPv6 address*
Diffstat (limited to 'krebs/4lib/types.nix')
-rw-r--r-- | krebs/4lib/types.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index 6396927dd..f46491801 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -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; |