Merge pull request #4497 from DamienCassou/gnome-pomodoro-url-update

gnome-pomodoro: use fetchgit to be more stable
This commit is contained in:
lethalman 2014-10-13 11:55:11 +02:00
commit 0c121b0156

View file

@ -1,4 +1,4 @@
{ stdenv, fetchurl, which, automake113x, intltool, pkgconfig, libtool, makeWrapper,
{ stdenv, fetchFromGitHub, which, automake113x, intltool, pkgconfig, libtool, makeWrapper,
dbus_glib, libcanberra, gst_all_1, upower, vala, gnome3_12, gtk3, gst_plugins_base,
glib, gobjectIntrospection, hicolor_icon_theme
}:
@ -6,13 +6,11 @@
stdenv.mkDerivation rec {
name = "gnome-shell-pomodoro-0.10.2-11-gd5f5b69";
src = fetchurl {
url =
"https://codeload.github.com/codito/gnome-shell-pomodoro/" +
"legacy.tar.gz/gnome-3.12";
sha256 =
"6c86203f56f69a52675c2df21e580a785f8894a2a9cdf4322d44743603504d10";
name = "${name}.tar.gz";
src = fetchFromGitHub {
owner = "codito";
repo = "gnome-shell-pomodoro";
rev = "0.10.2";
sha256 = "1jd4xmcx0fbcn57d1qj7b4xkj0dv4i75s367nifabm47akqzyn4f";
};
configureScript = ''./autogen.sh'';
@ -47,4 +45,4 @@ stdenv.mkDerivation rec {
license = licenses.gpl3;
platforms = platforms.linux;
};
}
}