lib: add POSIX.1‐2017, 3.190 Group Name

This commit is contained in:
tv 2019-04-17 20:19:39 +02:00
parent 32dc278aca
commit 4da25a3fef

View file

@ -542,6 +542,13 @@ rec {
merge = mergeOneOption; merge = mergeOneOption;
}; };
# POSIX.12017, 3.190 Group Name
groupname = mkOptionType {
name = "POSIX group name";
check = filename.check;
merge = mergeOneOption;
};
# POSIX.12017, 3.281 Portable Filename # POSIX.12017, 3.281 Portable Filename
filename = mkOptionType { filename = mkOptionType {
name = "POSIX portable filename"; name = "POSIX portable filename";