From 384030fff270030eba7d25de92071315c5bbb281 Mon Sep 17 00:00:00 2001 From: Tom Hunze Date: Sat, 13 Dec 2025 16:49:11 +0100 Subject: [PATCH] gnomeExtensions.icon-hider: remove unused derivation This extension was dropped in #296240 but the derivation was never removed from the tree. --- .../gnome/extensions/icon-hider/default.nix | 39 ------------------- 1 file changed, 39 deletions(-) delete mode 100644 pkgs/desktops/gnome/extensions/icon-hider/default.nix diff --git a/pkgs/desktops/gnome/extensions/icon-hider/default.nix b/pkgs/desktops/gnome/extensions/icon-hider/default.nix deleted file mode 100644 index 7a7f959b700e..000000000000 --- a/pkgs/desktops/gnome/extensions/icon-hider/default.nix +++ /dev/null @@ -1,39 +0,0 @@ -{ - lib, - stdenv, - fetchFromGitHub, - gnome-shell, -}: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-icon-hider"; - version = "23"; - - src = fetchFromGitHub { - owner = "ikalnytskyi"; - repo = "gnome-shell-extension-icon-hider"; - rev = "v${version}"; - sha256 = "18c8zkdrmdbghqqz7b450vhgpykgz25mgigwn2nggcb2lxmvm9ks"; - }; - - passthru = { - extensionUuid = "icon-hider@kalnitsky.org"; - extensionPortalSlug = "icon-hider"; - }; - - installPhase = '' - runHook preInstall - mkdir -p $out/share/gnome-shell/extensions - cp -r "icon-hider@kalnitsky.org" $out/share/gnome-shell/extensions - runHook postInstall - ''; - - meta = with lib; { - description = "Icon Hider is a GNOME Shell extension for managing status area items"; - license = lib.licenses.bsd3; - maintainers = [ ]; - platforms = gnome-shell.meta.platforms; - homepage = "https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider"; - broken = versionAtLeast gnome-shell.version "3.32"; # Doesn't support 3.34 - }; -}