gnomeExtensions.hot-edge: init at 4
This commit is contained in:
parent
588e05ddff
commit
f70f7b6ea4
2 changed files with 34 additions and 0 deletions
33
pkgs/desktops/gnome-3/extensions/hot-edge/default.nix
Normal file
33
pkgs/desktops/gnome-3/extensions/hot-edge/default.nix
Normal file
|
@ -0,0 +1,33 @@
|
||||||
|
{ lib
|
||||||
|
, stdenv
|
||||||
|
, fetchFromGitHub
|
||||||
|
}:
|
||||||
|
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
pname = "gnome-shell-extension-hot-edge";
|
||||||
|
version = "jdoda";
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "jdoda";
|
||||||
|
repo = "hotedge";
|
||||||
|
rev = "bb7f651becea5287241caf7cda246a68ab07dac8";
|
||||||
|
sha256 = "oeTs0kRan6b5relxzhK1IKbV0Yv2d5YdvvUPJ3fM9ik=";
|
||||||
|
};
|
||||||
|
|
||||||
|
dontBuild = true;
|
||||||
|
|
||||||
|
uuid = "hotedge@jonathan.jdoda.ca";
|
||||||
|
|
||||||
|
installPhase = ''
|
||||||
|
runHook preInstall
|
||||||
|
install -Dt $out/share/gnome-shell/extensions/${uuid} extension.js metadata.json stylesheet.css
|
||||||
|
runHook postInstall
|
||||||
|
'';
|
||||||
|
|
||||||
|
meta = with lib; {
|
||||||
|
description = "Replace the top-left hot corner with a bottom hot edge";
|
||||||
|
license = licenses.gpl2Plus;
|
||||||
|
maintainers = with maintainers; [ jtojnar ];
|
||||||
|
homepage = "https://github.com/jdoda/hotedge";
|
||||||
|
};
|
||||||
|
}
|
|
@ -28651,6 +28651,7 @@ in
|
||||||
freon = callPackage ../desktops/gnome-3/extensions/freon { };
|
freon = callPackage ../desktops/gnome-3/extensions/freon { };
|
||||||
fuzzy-app-search = callPackage ../desktops/gnome-3/extensions/fuzzy-app-search { };
|
fuzzy-app-search = callPackage ../desktops/gnome-3/extensions/fuzzy-app-search { };
|
||||||
gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { };
|
gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { };
|
||||||
|
hot-edge = callPackage ../desktops/gnome-3/extensions/hot-edge { };
|
||||||
icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { };
|
icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { };
|
||||||
impatience = callPackage ../desktops/gnome-3/extensions/impatience { };
|
impatience = callPackage ../desktops/gnome-3/extensions/impatience { };
|
||||||
material-shell = callPackage ../desktops/gnome-3/extensions/material-shell { };
|
material-shell = callPackage ../desktops/gnome-3/extensions/material-shell { };
|
||||||
|
|
Loading…
Reference in a new issue