git-repo-1.20, update and pin python

This commit is contained in:
Florian Friesdorf 2013-12-26 01:01:01 +01:00
parent 46f627e8f7
commit 7a988c62af

View file

@ -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 = {