summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/types.nix15
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix
index 197633e..572964a 100644
--- a/lib/types.nix
+++ b/lib/types.nix
@@ -20,4 +20,19 @@ rec {
check = test "([0-9A-Za-z._])[0-9A-Za-z._-]*";
merge = mergeOneOption;
};
+
+ # POSIX.1‐2013, 3.267 Pathname
+ pathname = mkOptionType {
+ name = "POSIX pathname";
+ check = x:
+ let
+ # The filter is used to normalize paths, i.e. to remove duplicated and
+ # trailing slashes. It also removes leading slashes, thus we have to
+ # check for "/" explicitly below.
+ xs = filter (s: stringLength s > 0) (splitString "/" x);
+ in
+ isString x && (x == "/" || (length xs > 0 && all filename.check xs));
+ merge = mergeOneOption;
+ };
+
}