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 | 32dc278aca2f3031f4ecc8696898e216db003b19 (patch) | |
tree | aec9ada76ab1f7b26e5d8c4d26340b73e9a3d8ce | |
parent | 20fa5109afc6263a023005e7a40fbf6c14b7ca93 (diff) |
lib: POSIX.1‐2013 -> POSIX.1‐2017
-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 23919af38..2efa5a68a 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; }; |