gnomeExtensions: add GNOME 42 extensions

This commit is contained in:
Ryan Horiguchi 2022-03-20 17:59:37 +01:00
parent 70f65b1ba8
commit b8229f288c
No known key found for this signature in database
GPG key ID: CA7EE98D45A1132A
5 changed files with 128 additions and 124 deletions

View file

@ -137,5 +137,6 @@
"floatingDock@sun.wxg@gmail.com",
"floating-dock@nandoferreira_prof@hotmail.com"
]
}
},
"42": {}
}

View file

@ -58,6 +58,7 @@ in rec {
gnome38Extensions = mapUuidNames (produceExtensionsList "38");
gnome40Extensions = mapUuidNames (produceExtensionsList "40");
gnome41Extensions = mapUuidNames (produceExtensionsList "41");
gnome42Extensions = mapUuidNames (produceExtensionsList "42");
gnomeExtensions = lib.trivial.pipe (gnome40Extensions // gnome41Extensions) [
# Apply some custom patches for automatically packaged extensions

File diff suppressed because one or more lines are too long

View file

@ -18,6 +18,7 @@ supported_versions = {
"38": "3.38",
"40": "40",
"41": "41",
"42": "42",
}

View file

@ -31936,6 +31936,7 @@ with pkgs;
gnome38Extensions
gnome40Extensions
gnome41Extensions
gnome42Extensions
;
gnome-connections = callPackage ../desktops/gnome/apps/gnome-connections { };