diff options
author | tv <tv@krebsco.de> | 2016-06-07 23:22:12 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-06-07 23:22:12 +0200 |
commit | 5e91e789b66350302b3a5f90843d4a10f4fd2c75 (patch) | |
tree | f94da267471b87709a6f8d859fc17ea39cf50785 | |
parent | 72956b5d719d953bab5490f0553e3351118ec01f (diff) |
krebs types.absolute-pathname: admit /
-rw-r--r-- | krebs/4lib/types.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index d4d28bc78..f65d5b68e 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -337,7 +337,7 @@ types // rec { # TODO two slashes absolute-pathname = mkOptionType { name = "POSIX absolute pathname"; - check = s: pathname.check s && substring 0 1 s == "/"; + check = s: s == "/" || (pathname.check s && substring 0 1 s == "/"); }; # POSIX.1‐2013, 3.267 Pathname |