diff options
author | tv <tv@krebsco.de> | 2018-10-31 18:24:57 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-10-31 18:26:05 +0100 |
commit | 170c46d53c83c9bf277b7b6dba7e86c052eae257 (patch) | |
tree | 6096523faac3e0c9d477458b547f7a6b3bebb345 /lib/types | |
parent | e2b29654251367545700154ffbac806705dd04c0 (diff) |
populate git: add clean.excludev1.7.0
Diffstat (limited to 'lib/types')
-rw-r--r-- | lib/types/populate.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/types/populate.nix b/lib/types/populate.nix index 3b13df0..f35786d 100644 --- a/lib/types/populate.nix +++ b/lib/types/populate.nix @@ -56,6 +56,12 @@ }; git = lib.types.submodule { options = { + clean = { + exclude = lib.mkOption { + default = []; + type = lib.types.listOf lib.types.str; + }; + }; ref = lib.mkOption { type = lib.types.str; # TODO lib.types.git.ref }; |