Merge pull request #34186 from jonafato/gnome-shell-extension-nohotcorner
gnome-shell-extension-nohotcorner: init at 16.0
This commit is contained in:
commit
c7dc968721
30
pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix
Normal file
30
pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix
Normal file
|
@ -0,0 +1,30 @@
|
||||||
|
{ stdenv, fetchFromGitHub }:
|
||||||
|
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
name = "gnome-shell-extension-nohotcorner-${version}";
|
||||||
|
version = "16.0";
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "HROMANO";
|
||||||
|
repo = "nohotcorner";
|
||||||
|
rev = "v${version}";
|
||||||
|
sha256 = "042lv4pvzsxv6spa8k1hji1bfqj893arx55p56mmm20wa5dr5qm3";
|
||||||
|
};
|
||||||
|
|
||||||
|
# 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;
|
||||||
|
};
|
||||||
|
}
|
|
@ -18814,6 +18814,7 @@ with pkgs;
|
||||||
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
|
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
|
||||||
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
|
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
|
||||||
mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
|
mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
|
||||||
|
nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { };
|
||||||
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
|
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue