tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 replaceVars,
6 gjs,
7 vte,
8 gnome,
9}:
10
11stdenv.mkDerivation {
12 pname = "gnome-shell-extension-drop-down-terminal";
13 version = "unstable-2020-03-25";
14
15 src = fetchFromGitHub {
16 owner = "zzrough";
17 repo = "gs-extensions-drop-down-terminal";
18 rev = "a59669afdb395b3315619f62c1f740f8b2f0690d";
19 sha256 = "0igfxgrjdqq6z6xg4rsawxn261pk25g5dw2pm3bhwz5sqsy4bq3i";
20 };
21
22 passthru = {
23 extensionUuid = "drop-down-terminal@gs-extensions.zzrough.org";
24 extensionPortalSlug = "drop-down-terminal";
25 };
26
27 patches = [
28 (replaceVars ./fix_vte_and_gjs.patch {
29 inherit gjs vte;
30 })
31 ];
32
33 installPhase = ''
34 runHook preInstall
35 mkdir -p $out/share/gnome-shell/extensions
36 cp -r "drop-down-terminal@gs-extensions.zzrough.org" $out/share/gnome-shell/extensions/
37 runHook postInstall
38 '';
39
40 meta = with lib; {
41 description = "Configurable drop down terminal shell";
42 license = licenses.gpl3;
43 maintainers = with maintainers; [ ericdallo ];
44 homepage = "https://github.com/zzrough/gs-extensions-drop-down-terminal";
45 };
46}