diff options
| author | Florian Friesdorf <flo@chaoflow.net> | 2013-12-26 01:01:01 +0100 |
|---|---|---|
| committer | Florian Friesdorf <flo@chaoflow.net> | 2013-12-26 01:01:01 +0100 |
| commit | 7a988c62af89fc220d91bcb1062f593b82c326d6 (patch) | |
| tree | 0c7db812a10c9942e505d0ed3eca6d1d6ccc4852 /pkgs/applications/version-management/git-repo | |
| parent | 46f627e8f7697a51f7c6fa16c259662b6508e804 (diff) | |
git-repo-1.20, update and pin python
Diffstat (limited to 'pkgs/applications/version-management/git-repo')
| -rw-r--r-- | pkgs/applications/version-management/git-repo/default.nix | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/pkgs/applications/version-management/git-repo/default.nix b/pkgs/applications/version-management/git-repo/default.nix index 8b6e31039fb75..7f8091067cb94 100644 --- a/pkgs/applications/version-management/git-repo/default.nix +++ b/pkgs/applications/version-management/git-repo/default.nix @@ -1,16 +1,19 @@ { stdenv, fetchurl, python }: stdenv.mkDerivation { - name = "git-repo-1.19"; + name = "git-repo-1.20"; src = fetchurl { - url = "https://git-repo.googlecode.com/files/repo-1.19"; - sha1 = "e48d46e36194859fe8565e8cbdf4c5d1d8768ef3"; + # I could not find a versioned url for the 1.20 version. In case + # the sha mismatches, check the homepage for new version and sha. + url = "http://commondatastorage.googleapis.com/git-repo-downloads/repo"; + sha1 = "e197cb48ff4ddda4d11f23940d316e323b29671c"; }; unpackPhase = "true"; installPhase = '' mkdir -p $out/bin - install $src $out/bin/repo + sed -e 's,!/usr/bin/env python,!${python}/bin/python,' < $src > $out/bin/repo + chmod +x $out/bin/repo ''; meta = { |