diff options
author | Eric Dallo <ericdallo06@hotmail.com> | 2019-09-29 21:35:23 -0300 |
---|---|---|
committer | worldofpeace <worldofpeace@protonmail.ch> | 2019-10-02 09:44:02 -0400 |
commit | b1bf22ab0050cf5cff4f389719cdbca53bd30666 (patch) | |
tree | f834acfef437e0bdc52a72503187a57e6037851a /pkgs/desktops/gnome-3/extensions | |
parent | 083c3b9251f2fcd41d3081f3185731e1f231c9f1 (diff) | |
download | nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar.gz nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar.bz2 nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar.lz nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar.xz nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.tar.zst nixpkgs-b1bf22ab0050cf5cff4f389719cdbca53bd30666.zip |
gnomeExtensions.drop-down-terminal: init at 24
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix | 35 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/drop-down-terminal/fix_vte_and_gjs.patch | 32 |
2 files changed, 67 insertions, 0 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 new file mode 100644 index 00000000000..c0ecfc29e2c --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix @@ -0,0 +1,35 @@ +{ stdenv, fetchFromGitHub, substituteAll, gnome3, vte }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-drop-down-terminal"; + version = "24"; + + src = fetchFromGitHub { + owner = "zzrough"; + repo = "gs-extensions-drop-down-terminal"; + rev = "v${version}"; + sha256 = "1gda56xzwsa5pgmgpb7lhb3i3gqishvn84282inwvqm86afks73r"; + }; + + uuid = "drop-down-terminal@gs-extensions.zzrough.org"; + + patches = [ + (substituteAll { + src = ./fix_vte_and_gjs.patch; + inherit vte; + gjs = gnome3.gjs; + }) + ]; + + installPhase = '' + mkdir -p $out/share/gnome-shell/extensions + cp -r ${uuid} $out/share/gnome-shell/extensions/ + ''; + + meta = with stdenv.lib; { + description = "Configurable drop down terminal shell"; + license = licenses.gpl3; + maintainers = with maintainers; [ ericdallo ]; + homepage = https://github.com/zzrough/gs-extensions-drop-down-terminal; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/fix_vte_and_gjs.patch b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/fix_vte_and_gjs.patch new file mode 100644 index 00000000000..3544c91ee89 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/fix_vte_and_gjs.patch @@ -0,0 +1,32 @@ +--- a/drop-down-terminal@gs-extensions.zzrough.org/extension.js ++++ b/drop-down-terminal@gs-extensions.zzrough.org/extension.js +@@ -15,6 +15,8 @@ + + // Author: Stéphane Démurget <stephane.demurget@free.fr> + ++imports.gi.GIRepository.Repository.prepend_search_path('@vte@/lib/girepository-1.0') ++ + const Lang = imports.lang; + const Gettext = imports.gettext.domain("drop-down-terminal"); + const Mainloop = imports.mainloop; +@@ -653,7 +655,7 @@ const DropDownTerminalExtension = new Lang.Class({ + this._killingChild = false; + + // finds the forking arguments +- let args = ["gjs", GLib.build_filenamev([Me.path, "terminal.js"]), Me.path]; ++ let args = ["@gjs@/bin/gjs", GLib.build_filenamev([Me.path, "terminal.js"]), Me.path]; + + // forks the process + debug("forking '" + args.join(" ") + "'"); +--- a/drop-down-terminal@gs-extensions.zzrough.org/terminal.js ++++ b/drop-down-terminal@gs-extensions.zzrough.org/terminal.js +@@ -14,6 +14,9 @@ + // along with this program. If not, see <http://www.gnu.org/licenses/>. + + // Author: Stéphane Démurget <stephane.demurget@free.fr> ++ ++imports.gi.GIRepository.Repository.prepend_search_path('@vte@/lib/girepository-1.0') ++ + const Lang = imports.lang; + + const Pango = imports.gi.Pango; |