diff options
author | tv <tv@shackspace.de> | 2015-10-09 14:07:29 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-10-09 14:07:29 +0200 |
commit | f15864623a579f4af1c1b0cae14b5977283d52bd (patch) | |
tree | 779605114dbead5dab04e1d92b982df10be6565b | |
parent | 87fa7792e3f2debeb221073b393a7909a75a9176 (diff) |
krebs lib.types += suffixed-str
-rw-r--r-- | krebs/4lib/types.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index 039f803ef..b3d2c8b70 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -147,6 +147,13 @@ types // rec { merge = mergeOneOption; }; + suffixed-str = suffs: + mkOptionType { + name = "string suffixed by ${concatStringsSep ", " suffs}"; + check = x: isString x && any (flip hasSuffix x) suffs; + merge = mergeOneOption; + }; + user = submodule { options = { mail = mkOption { |