From a19640fb81269efe44491c7ac7f0db015630aa35 Mon Sep 17 00:00:00 2001
From: tu-maurice <valentin.gehrke@zom.bi>
Date: Mon, 15 Nov 2021 21:50:30 +0100
Subject: [PATCH] gnomeExtensions: make buildShellExtension visible

Simply inheriting does not work because all-packages.nix explicitly inherits
only gnomeExtensions and gnome*Extensions.
---
 pkgs/desktops/gnome/extensions/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/desktops/gnome/extensions/default.nix b/pkgs/desktops/gnome/extensions/default.nix
index f4f6fba89c2f..2ba640a514ff 100644
--- a/pkgs/desktops/gnome/extensions/default.nix
+++ b/pkgs/desktops/gnome/extensions/default.nix
@@ -55,8 +55,6 @@ let
   ];
 
 in rec {
-  inherit buildShellExtension;
-
   gnome38Extensions = mapUuidNames (produceExtensionsList "38");
   gnome40Extensions = mapUuidNames (produceExtensionsList "40");
   gnome41Extensions = mapUuidNames (produceExtensionsList "41");
@@ -78,6 +76,8 @@ in rec {
       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.";
     })
+    # Export buildShellExtension function
+    (extensions: extensions // { inherit buildShellExtension; })
     # Make the set "public"
     lib.recurseIntoAttrs
   ];