krebs types.absolute-pathname: admit /

This commit is contained in:
tv 2016-06-07 23:22:12 +02:00
parent 72956b5d71
commit 5e91e789b6

View File

@ -337,7 +337,7 @@ types // rec {
# TODO two slashes # TODO two slashes
absolute-pathname = mkOptionType { absolute-pathname = mkOptionType {
name = "POSIX absolute pathname"; name = "POSIX absolute pathname";
check = s: pathname.check s && substring 0 1 s == "/"; check = s: s == "/" || (pathname.check s && substring 0 1 s == "/");
}; };
# POSIX.12013, 3.267 Pathname # POSIX.12013, 3.267 Pathname