nixpkgs/pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix
2018-11-30 21:35:23 +01:00

31 lines
894 B
Nix

{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
name = "gnome-shell-extension-nohotcorner-${version}";
version = "18.0";
src = fetchFromGitHub {
owner = "HROMANO";
repo = "nohotcorner";
rev = "v${version}";
sha256 = "0vajiys93gs7fs9v6brgf8fplkmh28j103in3wq04l34cx5sqkks";
};
# Taken from the extension download link at
# https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
uuid = "nohotcorner@azuri.free.fr";
installPhase = ''
mkdir -p $out/share/gnome-shell/extensions/${uuid}
cp extension.js $out/share/gnome-shell/extensions/${uuid}
cp metadata.json $out/share/gnome-shell/extensions/${uuid}
'';
meta = with stdenv.lib; {
description = "Disables the top left hot corner";
license = licenses.gpl2;
maintainers = with maintainers; [ jonafato ];
homepage = https://github.com/HROMANO/nohotcorner;
};
}