gnomeExtensions: Remove remove-dropdown-arrows

piegames 48db86f4 2d8ab98b

+1 -35
+1
pkgs/desktops/gnome/extensions/default.nix
··· 68 68 69 69 nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks."; 70 70 mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md"; 71 + 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."; 71 72 } 72 73 ); 73 74 }
-1
pkgs/desktops/gnome/extensions/manuallyPackaged.nix
··· 26 26 noannoyance = callPackage ./noannoyance { }; 27 27 paperwm = callPackage ./paperwm { }; 28 28 pidgin-im-integration = callPackage ./pidgin-im-integration { }; 29 - remove-dropdown-arrows = callPackage ./remove-dropdown-arrows { }; 30 29 sound-output-device-chooser = callPackage ./sound-output-device-chooser { }; 31 30 system-monitor = callPackage ./system-monitor { }; 32 31 taskwhisperer = callPackage ./taskwhisperer { };
-34
pkgs/desktops/gnome/extensions/remove-dropdown-arrows/default.nix
··· 1 - { lib, stdenv, fetchFromGitHub }: 2 - 3 - stdenv.mkDerivation rec { 4 - pname = "gnome-shell-extension-remove-dropdown-arrows"; 5 - version = "13"; 6 - 7 - src = fetchFromGitHub { 8 - owner = "mpdeimos"; 9 - repo = "gnome-shell-remove-dropdown-arrows"; 10 - rev = "version/${version}"; 11 - sha256 = "09b2hnfbqym20pb1sfc8xiz7gs2kbs6b1s7xl8swc8dydhsbambk"; 12 - }; 13 - 14 - # This package has a Makefile, but it's used for publishing and linting, not 15 - # for building. Disable the build phase so installing doesn't attempt to 16 - # publish the extension. 17 - dontBuild = true; 18 - 19 - uuid = "remove-dropdown-arrows@mpdeimos.com"; 20 - installPhase = '' 21 - runHook preInstall 22 - mkdir -p $out/share/gnome-shell/extensions/${uuid} 23 - cp extension.js $out/share/gnome-shell/extensions/${uuid} 24 - cp metadata.json $out/share/gnome-shell/extensions/${uuid} 25 - runHook postInstall 26 - ''; 27 - 28 - meta = with lib; { 29 - description = "Remove dropdown arrows from GNOME Shell Menus"; 30 - license = licenses.gpl3; 31 - maintainers = with maintainers; [ jonafato ]; 32 - homepage = "https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows"; 33 - }; 34 - }