diff options
Diffstat (limited to 'nixpkgs/pkgs/desktops/gnome/extensions/default.nix')
-rw-r--r-- | nixpkgs/pkgs/desktops/gnome/extensions/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/desktops/gnome/extensions/default.nix b/nixpkgs/pkgs/desktops/gnome/extensions/default.nix index 2937cf6ac798..e2f9bb2c2d9c 100644 --- a/nixpkgs/pkgs/desktops/gnome/extensions/default.nix +++ b/nixpkgs/pkgs/desktops/gnome/extensions/default.nix @@ -55,12 +55,11 @@ let ]; in rec { - inherit buildShellExtension; - gnome38Extensions = mapUuidNames (produceExtensionsList "38"); gnome40Extensions = mapUuidNames (produceExtensionsList "40"); + gnome41Extensions = mapUuidNames (produceExtensionsList "41"); - gnomeExtensions = lib.trivial.pipe gnome40Extensions [ + gnomeExtensions = lib.trivial.pipe (gnome40Extensions // gnome41Extensions) [ # Apply some custom patches for automatically packaged extensions (callPackage ./extensionOverrides.nix {}) # Add all manually packaged extensions @@ -72,11 +71,14 @@ in rec { (extensions: extensions // lib.optionalAttrs (config.allowAliases or true) { unite-shell = gnomeExtensions.unite; # added 2021-01-19 arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14 + disable-unredirect = gnomeExtensions.disable-unredirect-fullscreen-windows; # added 2021-11-20 nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks."; 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 ]; |