Zynh0722
/
repo-clone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

repo options

main
Zynh Ludwig 2024-07-31 23:27:05 -07:00
parent c08d305925
commit b0a3abbd79
1 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
repo.nix
View File

@ -2,9 +2,22 @@
let let
inherit (lib) inherit (lib)
types; types mkOption;
in in
types.attrsOf (types.submodule ({ ... }: { types.attrsOf (types.submodule ({ ... }: {
options = { }; options = {
config = { }; url = mkOption {
type = types.str;
description = ''
Url of git repo to clone
'';
};
extraArgs = mkOption {
type = types.str;
description = ''
Args to be used with the `git clone` command
'';
};
};
})) }))