Commit graph

17 commits

Author SHA1 Message Date
piegames b642ac7b70
gnome: Package all the GNOME extensions
An automatic way to do this that scales up and requires little manual intervention is really needed. It works by scraping extensions.gnome.org with a python script, that writes all relevant information into the `extensions.json`. Every attribute of besaid file can be built into a package using `buildShellExtension`.

Extensions are grouped by GNOME Shell version for practical reasons. Only extensions for GNOME 40 and 3.38 were added, as we don't support legacy GNOME versions.
The extensions are exposed as an attrset, `pkgs.gnome40Extensions` and `pkgs.gnome38Extensions` respectively. The package name of each extensions is generated automatically from its UUID.

The attribute `pkgs.gnomeExtensions` contains the officially packaged and supported extensions set. It contains all the automatically packaged extensions for the current GNOME Shell version, which are overwritten by manually packaged ones where needed. Unlike gnomeXYExtensions, the names are not UUIDs, but automatically generated human-friendly names. Naming collisions – which are tracked in collisions.json – need to be manually resolved in the `extensionRenames` attrset.
2021-05-21 23:10:12 +02:00
Ryan Horiguchi 3b34293b28
gnomeExtensions.fuzzy-app-search: 4 -> 4.0.1 2021-05-19 17:12:53 +02:00
Jan Tojnar c6812829db
Merge pull request #123096 from mschuwalow/update-clipboard-indicator
gnomeExtensions.clipboard-indicator: 37 -> 38
2021-05-18 13:23:27 +02:00
Sandro d7ceeb4d2a
Merge pull request #123185 from rhoriguchi/gnomeExtensions.dynamic-panel-transparency
gnomeExtensions.dynamic-panel-transparency: 35 -> unstable-2021-03-04
2021-05-18 01:48:50 +02:00
Sandro af67d7ed54
Merge pull request #122923 from rhoriguchi/gnomeExtensions.caffeine
gnomeExtensions.caffeine: 37 -> 38
2021-05-17 19:24:44 +02:00
Ryan Horiguchi ab6a8437f5
gnomeExtensions.dynamic-panel-transparency: 35 -> unstable-2021-03-04 2021-05-17 06:16:01 +02:00
Maxim Schuwalow 3210c41ee3
gnomeExtensions.clipboard-indicator: 37 -> 38 2021-05-16 00:43:18 +02:00
Jan Tojnar 0aa8f09e6f
Merge pull request #123114 from eduardosm/gnome-shell-system-monitor-applet
gnomeExtensions.system-monitor: unstable-2021-04-08 -> unstable-2021-05-04
2021-05-15 17:14:38 +02:00
Eduardo Sánchez Muñoz 225b7514d8 gnomeExtensions.system-monitor: unstable-2021-04-08 -> unstable-2021-05-04
Supports GNOME 40
2021-05-15 16:10:29 +02:00
Doron Behar a87c60a9c3 gnomeExtensions.sound-output-device-chooser: 35 -> 38 2021-05-15 01:58:25 +02:00
Ryan Horiguchi 1fe7bef84e
gnomeExtensions.caffeine: 37 -> 38 2021-05-14 09:26:01 +02:00
Sandro 6cc8d14591
Merge pull request #122269 from eduardosm/gnome-arcmenu 2021-05-10 19:06:18 +02:00
Eduardo Sánchez Muñoz 25cb63fed6 gnomeExtensions.arcmenu: 5 -> 10
Supports GNOME 40
2021-05-09 01:39:07 +02:00
Eduardo Sánchez Muñoz 5d54dd8e3e gnomeExtensions.appindicator: 36 -> 37 2021-05-09 01:32:36 +02:00
Eduardo Sánchez Muñoz c94643ac4d gnomeExtensions.disable-unredirect: unstable-2021-01-17 -> unstable-2021-04-13
Enables support for GNOME 40
2021-05-08 21:22:09 +02:00
Vladimír Čunát 080cd658ca
Merge #121780: treewide meta.maintainers tweaks 2021-05-08 10:47:08 +02:00
Jan Tojnar 468cb5980b gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00