summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2019-04-17 20:19:12 +0200
committertv <tv@krebsco.de>2019-04-17 20:19:12 +0200
commit6af3ac9271d9e082351f3e043301fc4b00188900 (patch)
treef686bae97e3b91a7140ffb0102454e4ff250353d /lib
parentcae22d57b82ecb728326345ed8dad45172e67abf (diff)
lib: POSIX.1‐2013 -> POSIX.1‐2017
Diffstat (limited to 'lib')
-rw-r--r--lib/types.nix12
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;
};