diff options
| -rw-r--r-- | krebs/4lib/types.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index 0d5b51f76..be0acd584 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -342,7 +342,9 @@ types // rec { absolute-pathname = mkOptionType { name = "POSIX absolute pathname"; check = x: let xs = splitString "/" x; xa = head xs; in - isString x && (xa == "/" || (xa == "" && all filename.check (tail xs))); + isString x + && stringLength x > 0 + && (xa == "/" || (xa == "" && all filename.check (tail xs))); merge = mergeOneOption; }; |