From 72e5b2dc2ccba536159ed93ccc962cfe733f5012 Mon Sep 17 00:00:00 2001 From: Eric Dallo Date: Sat, 28 Mar 2020 18:50:59 -0300 Subject: [PATCH] gnomeExtensions.drop-down-terminal: v24 -> unstable-2020-03-25 --- .../gnome-3/extensions/drop-down-terminal/default.nix | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix index 4b5a47e61118..fb7132015944 100644 --- a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix +++ b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-drop-down-terminal"; - version = "24"; + version = "unstable-2020-03-25"; src = fetchFromGitHub { owner = "zzrough"; repo = "gs-extensions-drop-down-terminal"; - rev = "v${version}"; - sha256 = "1gda56xzwsa5pgmgpb7lhb3i3gqishvn84282inwvqm86afks73r"; + rev = "a59669afdb395b3315619f62c1f740f8b2f0690d"; + sha256 = "0igfxgrjdqq6z6xg4rsawxn261pk25g5dw2pm3bhwz5sqsy4bq3i"; }; uuid = "drop-down-terminal@gs-extensions.zzrough.org"; @@ -29,8 +29,6 @@ stdenv.mkDerivation rec { description = "Configurable drop down terminal shell"; license = licenses.gpl3; maintainers = with maintainers; [ ericdallo ]; - homepage = https://github.com/zzrough/gs-extensions-drop-down-terminal; - # Doesn't support 3.36 - broken = stdenv.lib.versionAtLeast gnome3.gnome-shell.version "3.34"; + homepage = "https://github.com/zzrough/gs-extensions-drop-down-terminal"; }; }