Allow git checkouts to have custom name
This commit is contained in:
parent
d3c5e960b4
commit
46cdc2e017
@ -1,5 +1,7 @@
|
|||||||
{stdenv, git, cacert}:
|
{stdenv, git, cacert}:
|
||||||
{url, rev ? "HEAD", md5 ? "", sha256 ? "", leaveDotGit ? false, fetchSubmodules ? true}:
|
{url, rev ? "HEAD", md5 ? "", sha256 ? "", leaveDotGit ? false, fetchSubmodules ? true
|
||||||
|
, name ? "git-export"
|
||||||
|
}:
|
||||||
|
|
||||||
/* NOTE:
|
/* NOTE:
|
||||||
fetchgit has one problem: git fetch only works for refs.
|
fetchgit has one problem: git fetch only works for refs.
|
||||||
@ -26,7 +28,7 @@
|
|||||||
assert md5 != "" || sha256 != "";
|
assert md5 != "" || sha256 != "";
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "git-export";
|
inherit name;
|
||||||
builder = ./builder.sh;
|
builder = ./builder.sh;
|
||||||
fetcher = ./nix-prefetch-git;
|
fetcher = ./nix-prefetch-git;
|
||||||
buildInputs = [git];
|
buildInputs = [git];
|
||||||
|
Loading…
x
Reference in New Issue
Block a user