diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2020-03-22 04:42:20 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2020-03-22 15:52:29 +0100 |
| commit | 4d8fad2255c05294a8738537493102810139553b (patch) | |
| tree | f26f7c0db9d14e28a797380350762f676ef72d31 | |
| parent | gnomeExtensions.impatience: 0.4.5 → unstable-2019-09-23 (diff) | |
| download | nixpkgs-origin/gnome-3.36.tar.gz | |
gnomeExtensions.drop-down-terminal: mark as brokenorigin/gnome-3.36
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix | 4 |
1 files changed, 3 insertions, 1 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 4e7fa17d495c..4b5a47e61118 100644 --- a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix +++ b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, substituteAll, gjs, vte }: +{ stdenv, fetchFromGitHub, substituteAll, gjs, vte, gnome3 }: stdenv.mkDerivation rec { pname = "gnome-shell-extension-drop-down-terminal"; @@ -30,5 +30,7 @@ stdenv.mkDerivation rec { 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"; }; } |