From 8353b1293e4e4c307e7b875a5449ac901a5afc7d Mon Sep 17 00:00:00 2001 From: tv Date: Sat, 11 Jun 2016 16:36:42 +0200 Subject: krebs {{absolute-,}path,user}name: mergeOneOption --- krebs/4lib/types.nix | 3 +++ 1 file changed, 3 insertions(+) (limited to 'krebs/4lib') diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index 628555a9..678ae7a6 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -335,6 +335,7 @@ types // rec { absolute-pathname = mkOptionType { name = "POSIX absolute pathname"; check = s: s == "/" || (pathname.check s && substring 0 1 s == "/"); + merge = mergeOneOption; }; # POSIX.1‐2013, 3.267 Pathname @@ -342,11 +343,13 @@ types // rec { pathname = mkOptionType { name = "POSIX pathname"; check = s: isString s && all filename.check (splitString "/" s); + merge = mergeOneOption; }; # POSIX.1-2013, 3.431 User Name username = mkOptionType { name = "POSIX username"; check = filename.check; + merge = mergeOneOption; }; } -- cgit v1.2.3