@@ -60,17 +60,24 @@ in rec {
6060 gnome38Extensions = mapUuidNames (produceExtensionsList "38");
6161 gnome40Extensions = mapUuidNames (produceExtensionsList "40");
6262
63− gnomeExtensions = lib.recurseIntoAttrs (
64− (mapReadableNames
65− (lib.attrValues (gnome40Extensions // (callPackages ./manuallyPackaged.nix {})))
66− )
67− // lib.optionalAttrs (config.allowAliases or true) {
63+ gnomeExtensions = lib.trivial.pipe gnome40Extensions [
64+ # Apply some custom patches for automatically packaged extensions
65+ (callPackage ./extensionPatches.nix {})
66+ # Add all manually packaged extensions
67+ (extensions: extensions // (callPackages ./manuallyPackaged.nix {}))
68+ # Map the extension UUIDs to readable names
69+ (lib.attrValues)
70+ (mapReadableNames)
71+ # Add some aliases
72+ (extensions: extensions // lib.optionalAttrs (config.allowAliases or true) {
6873 unite-shell = gnomeExtensions.unite; # added 2021-01-19
6974 arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14
7075
7176 nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
7277 mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
7378 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.";
74− }
75− );
79+ })
80+ # Make the set "public"
81+ lib.recurseIntoAttrs
82+ ];
7683}