gnomeExtensions: set default version to 41
This commit is contained in:
parent
050c5948fc
commit
934ced4e81
@ -59,8 +59,9 @@ in rec {
|
||||
|
||||
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
|
||||
|
Loading…
Reference in New Issue
Block a user