summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-06-07 23:22:12 +0200
committertv <tv@krebsco.de>2016-06-07 23:22:12 +0200
commit5e91e789b66350302b3a5f90843d4a10f4fd2c75 (patch)
treef94da267471b87709a6f8d859fc17ea39cf50785
parent72956b5d719d953bab5490f0553e3351118ec01f (diff)
krebs types.absolute-pathname: admit /
-rw-r--r--krebs/4lib/types.nix2
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