diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2019-10-09 20:40:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-09 20:40:03 +0000 |
| commit | 5883c59f76c027b482e6bf1044d32524f8b46291 (patch) | |
| tree | a8cf7b6527277de469291f28f413420dbb2827ef /pkgs/desktops/gnome-3/extensions | |
| parent | 8cff1c3a1062c4c93f7a4493ab1de20bab284d24 (diff) | |
| parent | 59bb56a2438bfb1cfb38e5a50d84405e905d208c (diff) | |
| download | nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar.gz nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar.bz2 nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar.lz nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar.xz nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.tar.zst nixlib-5883c59f76c027b482e6bf1044d32524f8b46291.zip | |
Merge pull request #70880 from jtojnar/no-no-hot-corners
gnomeExtensions.nohotcorner: drop
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix b/pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix deleted file mode 100644 index e2b5288e8869..000000000000 --- a/pkgs/desktops/gnome-3/extensions/nohotcorner/default.nix +++ /dev/null @@ -1,30 +0,0 @@ -{ stdenv, fetchFromGitHub }: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-nohotcorner"; - version = "19.0"; - - src = fetchFromGitHub { - owner = "HROMANO"; - repo = "nohotcorner"; - rev = "v${version}"; - sha256 = "059n4gyz7d686hknaifyjax8gygrda1xab5m15a09p98jdrdfdhi"; - }; - - # 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; - }; -} |