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 | |
| parent | 3ca8eec45c93d6fd0f887613f7df2b16e63a8b69 (diff) | |
fetchgit: allow using dirty local work trees
Diffstat (limited to 'modules')
| -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. +      ''; +    };    };  }  | 
