From 49041cd82eeae4d8413c79a10e46d8a1d9e8c083 Mon Sep 17 00:00:00 2001
From: piegames <git@piegames.de>
Date: Fri, 24 Sep 2021 20:42:18 +0200
Subject: [PATCH] gnomeExtensions: rename extensionPatches.nix to
 extensionOverrides.nix

---
 pkgs/desktops/gnome/extensions/default.nix                      | 2 +-
 .../extensions/{extensionPatches.nix => extensionOverrides.nix} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename pkgs/desktops/gnome/extensions/{extensionPatches.nix => extensionOverrides.nix} (100%)

diff --git a/pkgs/desktops/gnome/extensions/default.nix b/pkgs/desktops/gnome/extensions/default.nix
index 2e5e2ade43e2..2937cf6ac798 100644
--- a/pkgs/desktops/gnome/extensions/default.nix
+++ b/pkgs/desktops/gnome/extensions/default.nix
@@ -62,7 +62,7 @@ in rec {
 
   gnomeExtensions = lib.trivial.pipe gnome40Extensions [
     # Apply some custom patches for automatically packaged extensions
-    (callPackage ./extensionPatches.nix {})
+    (callPackage ./extensionOverrides.nix {})
     # Add all manually packaged extensions
     (extensions: extensions // (callPackages ./manuallyPackaged.nix {}))
     # Map the extension UUIDs to readable names
diff --git a/pkgs/desktops/gnome/extensions/extensionPatches.nix b/pkgs/desktops/gnome/extensions/extensionOverrides.nix
similarity index 100%
rename from pkgs/desktops/gnome/extensions/extensionPatches.nix
rename to pkgs/desktops/gnome/extensions/extensionOverrides.nix