diff options
author | tv <tv@shackspace.de> | 2015-06-28 15:04:45 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-06-28 15:06:12 +0200 |
commit | 2e6221e095c0086674248526bae3e1ad03efc064 (patch) | |
tree | 3b84c415cbdc02394bed0b8ee698ea078842168a /modules/common | |
parent | 3ca8eec45c93d6fd0f887613f7df2b16e63a8b69 (diff) |
fetchgit: allow using dirty local work trees
Diffstat (limited to 'modules/common')
-rw-r--r-- | modules/common/nixpkgs.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/modules/common/nixpkgs.nix b/modules/common/nixpkgs.nix index 36ebbb075..486cf0207 100644 --- a/modules/common/nixpkgs.nix +++ b/modules/common/nixpkgs.nix @@ -10,7 +10,16 @@ with lib; }; nixpkgs.rev = mkOption { type = types.str; + default = "origin/master"; description = "Revision of the remote repository."; }; + nixpkgs.dirty = mkOption { + type = types.bool; + default = false; + description = '' + If nixpkgs.url is a local path, then use that as it is. + TODO this break if URL is not a local path. + ''; + }; }; } |