gnomeExtensions: make buildShellExtension visible
Simply inheriting does not work because all-packages.nix explicitly inherits only gnomeExtensions and gnome*Extensions.
This commit is contained in:
parent
51befa6cdc
commit
a19640fb81
@ -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
|
||||
];
|
||||
|
Loading…
Reference in New Issue
Block a user