diff options
| author | tv <tv@krebsco.de> | 2019-04-17 20:19:12 +0200 | 
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-04-17 20:19:12 +0200 | 
| commit | 6af3ac9271d9e082351f3e043301fc4b00188900 (patch) | |
| tree | f686bae97e3b91a7140ffb0102454e4ff250353d /lib | |
| parent | cae22d57b82ecb728326345ed8dad45172e67abf (diff) | |
lib: POSIX.1‐2013 -> POSIX.1‐2017
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/types.nix | 12 | 
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/types.nix b/lib/types.nix index 23919af..2efa5a6 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -542,21 +542,21 @@ rec {      merge = mergeOneOption;    }; -  # POSIX.1‐2013, 3.278 Portable Filename Character Set +  # POSIX.1‐2017, 3.281 Portable Filename    filename = mkOptionType { -    name = "POSIX filename"; +    name = "POSIX portable filename";      check = test "[0-9A-Za-z._][0-9A-Za-z._-]*";      merge = mergeOneOption;    }; -  # POSIX.1‐2013, 3.2 Absolute Pathname +  # POSIX.1‐2017, 3.2 Absolute Pathname    absolute-pathname = mkOptionType {      name = "POSIX absolute pathname";      check = x: isString x && substring 0 1 x == "/" && pathname.check x;      merge = mergeOneOption;    }; -  # POSIX.1‐2013, 3.267 Pathname +  # POSIX.1-2017, 3.271 Pathname    pathname = mkOptionType {      name = "POSIX pathname";      check = x: @@ -570,9 +570,9 @@ rec {      merge = mergeOneOption;    }; -  # POSIX.1-2013, 3.431 User Name +  # POSIX.1-2017, 3.216 Login Name    username = mkOptionType { -    name = "POSIX username"; +    name = "POSIX login name";      check = filename.check;      merge = mergeOneOption;    };  | 
