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; }; |