diff options
author | ChaosAttractor <lostattractor@gmail.com> | 2023-04-08 18:03:58 +0800 |
---|---|---|
committer | ChaosAttractor <lostattractor@gmail.com> | 2023-04-16 14:44:13 +0800 |
commit | faed40ae61e3511610be2d5f76148c4740f34545 (patch) | |
tree | 17a5d823a05b9943fa70fd5a34a0904dca7c63e8 /pkgs/desktops/gnome/extensions | |
parent | 4b53c01e5620be6156139d4e38d7b0c00634de75 (diff) |
gnomeExtensions.volume-mixer: remove patch
Removed patch because the extension only supports up to Gnome 41, which has been deprecated.
Diffstat (limited to 'pkgs/desktops/gnome/extensions')
-rw-r--r-- | pkgs/desktops/gnome/extensions/extensionOverrides.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgs/desktops/gnome/extensions/extensionOverrides.nix b/pkgs/desktops/gnome/extensions/extensionOverrides.nix index 44004733fafed..ccefe08347b9a 100644 --- a/pkgs/desktops/gnome/extensions/extensionOverrides.nix +++ b/pkgs/desktops/gnome/extensions/extensionOverrides.nix @@ -91,18 +91,6 @@ super: lib.trivial.pipe super [ ]; })) - (patchExtension "shell-volume-mixer@derhofbauer.at" (old: { - patches = [ - (substituteAll { - src = ./extensionOverridesPatches/shell-volume-mixer_at_derhofbauer.at.patch; - inherit pulseaudio; - inherit python3; - }) - ]; - - meta.maintainers = with lib.maintainers; [ rhoriguchi ]; - })) - (patchExtension "tophat@fflewddur.github.io" (old: { patches = [ (substituteAll { |