diff options
Diffstat (limited to 'pkgs/desktops/gnome/extensions/drop-down-terminal/default.nix')
-rw-r--r-- | pkgs/desktops/gnome/extensions/drop-down-terminal/default.nix | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/extensions/drop-down-terminal/default.nix b/pkgs/desktops/gnome/extensions/drop-down-terminal/default.nix new file mode 100644 index 0000000000000..a994e427fb0e8 --- /dev/null +++ b/pkgs/desktops/gnome/extensions/drop-down-terminal/default.nix @@ -0,0 +1,36 @@ +{ lib, stdenv, fetchFromGitHub, substituteAll, gjs, vte, gnome }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-drop-down-terminal"; + version = "unstable-2020-03-25"; + + src = fetchFromGitHub { + owner = "zzrough"; + repo = "gs-extensions-drop-down-terminal"; + rev = "a59669afdb395b3315619f62c1f740f8b2f0690d"; + sha256 = "0igfxgrjdqq6z6xg4rsawxn261pk25g5dw2pm3bhwz5sqsy4bq3i"; + }; + + uuid = "drop-down-terminal@gs-extensions.zzrough.org"; + + patches = [ + (substituteAll { + src = ./fix_vte_and_gjs.patch; + inherit gjs vte; + }) + ]; + + installPhase = '' + runHook preInstall + mkdir -p $out/share/gnome-shell/extensions + cp -r ${uuid} $out/share/gnome-shell/extensions/ + runHook postInstall + ''; + + meta = with lib; { + description = "Configurable drop down terminal shell"; + license = licenses.gpl3; + maintainers = with maintainers; [ ericdallo ]; + homepage = "https://github.com/zzrough/gs-extensions-drop-down-terminal"; + }; +} |