diff options
| author | piegames <git@piegames.de> | 2021-05-29 16:56:01 +0200 |
|---|---|---|
| committer | piegames <git@piegames.de> | 2021-07-14 03:23:36 +0200 |
| commit | 48db86f42c112dc40687173aeda561c2b9bb4e7d (patch) | |
| tree | aea22eecb38459ef5fec16639afb9595a0ada3b8 /pkgs/desktops | |
| parent | 2d8ab98b1e04f174265bcb1132f4b89f864f89f3 (diff) | |
| download | nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar.gz nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar.bz2 nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar.lz nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar.xz nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.tar.zst nixpkgs-48db86f42c112dc40687173aeda561c2b9bb4e7d.zip | |
gnomeExtensions: Remove remove-dropdown-arrows
Diffstat (limited to 'pkgs/desktops')
| -rw-r--r-- | pkgs/desktops/gnome/extensions/default.nix | 1 | ||||
| -rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 | ||||
| -rw-r--r-- | pkgs/desktops/gnome/extensions/remove-dropdown-arrows/default.nix | 34 |
3 files changed, 1 insertions, 35 deletions
diff --git a/pkgs/desktops/gnome/extensions/default.nix b/pkgs/desktops/gnome/extensions/default.nix index 0e1167561eb..a4255411934 100644 --- a/pkgs/desktops/gnome/extensions/default.nix +++ b/pkgs/desktops/gnome/extensions/default.nix @@ -68,6 +68,7 @@ in rec { nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks."; mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md"; + remove-dropdown-arrows = throw "gnomeExtensions.remove-dropdown-arrows removed since 2021-05-25: The extensions has not seen an update sine GNOME 3.34. Furthermore, the functionality it provides is obsolete as of GNOME 40."; } ); } diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index 207ba6979c9..4e30130774a 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -26,7 +26,6 @@ noannoyance = callPackage ./noannoyance { }; paperwm = callPackage ./paperwm { }; pidgin-im-integration = callPackage ./pidgin-im-integration { }; - remove-dropdown-arrows = callPackage ./remove-dropdown-arrows { }; sound-output-device-chooser = callPackage ./sound-output-device-chooser { }; system-monitor = callPackage ./system-monitor { }; taskwhisperer = callPackage ./taskwhisperer { }; diff --git a/pkgs/desktops/gnome/extensions/remove-dropdown-arrows/default.nix b/pkgs/desktops/gnome/extensions/remove-dropdown-arrows/default.nix deleted file mode 100644 index e310f5dcf10..00000000000 --- a/pkgs/desktops/gnome/extensions/remove-dropdown-arrows/default.nix +++ /dev/null @@ -1,34 +0,0 @@ -{ lib, stdenv, fetchFromGitHub }: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-remove-dropdown-arrows"; - version = "13"; - - src = fetchFromGitHub { - owner = "mpdeimos"; - repo = "gnome-shell-remove-dropdown-arrows"; - rev = "version/${version}"; - sha256 = "09b2hnfbqym20pb1sfc8xiz7gs2kbs6b1s7xl8swc8dydhsbambk"; - }; - - # This package has a Makefile, but it's used for publishing and linting, not - # for building. Disable the build phase so installing doesn't attempt to - # publish the extension. - dontBuild = true; - - uuid = "remove-dropdown-arrows@mpdeimos.com"; - installPhase = '' - runHook preInstall - 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} - runHook postInstall - ''; - - meta = with lib; { - description = "Remove dropdown arrows from GNOME Shell Menus"; - license = licenses.gpl3; - maintainers = with maintainers; [ jonafato ]; - homepage = "https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows"; - }; -} |