diff options
Diffstat (limited to 'nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix')
-rw-r--r-- | nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix b/nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix index 4e7fa17d495..fb713201594 100644 --- a/nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix +++ b/nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix @@ -1,14 +1,14 @@ -{ stdenv, fetchFromGitHub, substituteAll, gjs, vte }: +{ stdenv, fetchFromGitHub, substituteAll, gjs, vte, gnome3 }: 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,6 +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; + homepage = "https://github.com/zzrough/gs-extensions-drop-down-terminal"; }; } |