mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-28 00:24:18 +00:00
bffbf4617a
Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
40 lines
1.1 KiB
Nix
40 lines
1.1 KiB
Nix
{ 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";
|
|
};
|
|
|
|
passthru = {
|
|
extensionUuid = "drop-down-terminal@gs-extensions.zzrough.org";
|
|
extensionPortalSlug = "drop-down-terminal";
|
|
};
|
|
|
|
patches = [
|
|
(substituteAll {
|
|
src = ./fix_vte_and_gjs.patch;
|
|
inherit gjs vte;
|
|
})
|
|
];
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
mkdir -p $out/share/gnome-shell/extensions
|
|
cp -r "drop-down-terminal@gs-extensions.zzrough.org" $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";
|
|
};
|
|
}
|