gnomeExtensions.drop-down-terminal: init at 24

This commit is contained in:
Eric Dallo 2019-09-29 21:35:23 -03:00 committed by worldofpeace
parent 083c3b9251
commit b1bf22ab00
4 changed files with 73 additions and 0 deletions

View file

@ -1997,6 +1997,11 @@
githubId = 4828;
name = "Eric Merritt";
};
ericdallo = {
email = "ercdll1337@gmail.com";
github = "ericdallo";
name = "Eric Dallo";
};
ericsagnes = {
email = "eric.sagnes@gmail.com";
github = "ericsagnes";

View file

@ -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;
};
}

View file

@ -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;

View file

@ -22654,6 +22654,7 @@ in
clipboard-indicator = callPackage ../desktops/gnome-3/extensions/clipboard-indicator { };
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
drop-down-terminal = callPackage ../desktops/gnome-3/extensions/drop-down-terminal { };
gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { };
icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { };
impatience = callPackage ../desktops/gnome-3/extensions/impatience.nix { };