diff options
author | piegames <git@piegames.de> | 2021-05-29 18:25:26 +0200 |
---|---|---|
committer | piegames <git@piegames.de> | 2021-07-14 03:35:12 +0200 |
commit | 8dd60244932f43bf9237cf07efba804de837b3a7 (patch) | |
tree | 73e0bc850b76f9be662667127d93d128a3add814 /pkgs/desktops | |
parent | 9dcb9aecc1eeb1315c128efd7fc681b2c5a34838 (diff) | |
download | nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar.gz nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar.bz2 nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar.lz nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar.xz nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.tar.zst nixpkgs-8dd60244932f43bf9237cf07efba804de837b3a7.zip |
gnomeExtensions.hot-edge: Remove manual packaging
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome/extensions/hot-edge/default.nix | 33 | ||||
-rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 |
2 files changed, 0 insertions, 34 deletions
diff --git a/pkgs/desktops/gnome/extensions/hot-edge/default.nix b/pkgs/desktops/gnome/extensions/hot-edge/default.nix deleted file mode 100644 index aaa5870996a..00000000000 --- a/pkgs/desktops/gnome/extensions/hot-edge/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ 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"; - }; -} diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index 3af27180bd1..e9be2015000 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -16,7 +16,6 @@ "freon@UshakovVasilii_Github.yahoo.com" = callPackage ./freon { }; "gnome-fuzzy-app-search@gnome-shell-extensions.Czarlie.gitlab.com" = callPackage ./fuzzy-app-search { }; "gsconnect@andyholmes.github.io" = callPackage ./gsconnect { }; - "hotedge@jonathan.jdoda.ca" = callPackage ./hot-edge { }; "icon-hider@kalnitsky.org" = callPackage ./icon-hider { }; "impatience@gfxmonk.net" = callPackage ./impatience { }; "nightthemeswitcher@romainvigier.fr" = callPackage ./night-theme-switcher { }; |