Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add krebs.types.{filename,username}

Browse Source
This commit is contained in:
tv 2016-02-06 19:37:14 +01:00
parent 29746aec06
commit 30306159af
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
krebs/4lib/types.nix
View File

@ -162,7 +162,7 @@ types // rec {
type = str; # TODO retiolum mail address
};
name = mkOption {
type = str; # TODO
type = username;
default = config._module.args.name;
};
pubkey = mkOption {
@ -194,4 +194,20 @@ types // rec {
};
};
};
# POSIX.1‐2013, 3.278 Portable Filename Character Set
filename = mkOptionType {
name = "POSIX filename";
check = let
filename-chars = stringToCharacters
"-.0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ";
in s: all (flip elem filename-chars) (stringToCharacters s);
merge = mergeOneOption;
};
# POSIX.1-2013, 3.431 User Name
username = mkOptionType {
name = "POSIX username";
check = s: filename.check s && substring 0 1 s != "-";
};
}