Commit graph

52 commits

Author SHA1 Message Date
Artturi bd7b866804
Merge pull request #127493 from r-ryantm/auto-update/gnome-shell-extension-gsconnect
gnomeExtensions.gsconnect: 46 -> 47
2021-08-08 20:24:48 +03:00
Sandro 3a7d9ec7db
Merge pull request #130286 from rhoriguchi/gnomeExtensions.fuzzy-app-search
gnomeExtensions.fuzzy-app-search: remove custom packaging
2021-07-20 17:31:52 +02:00
Ben Siraphob 1b6bf36bba
Merge pull request #129932 from r-ryantm/auto-update/gnome-shell-extension-arcmenu
gnomeExtensions.arcmenu: 10 -> 12
2021-07-19 20:26:56 +07:00
Ryan Horiguchi 692e70c3ae gnomeExtensions.fuzzy-app-search: remove custom packaging 2021-07-15 17:39:44 +02:00
Jan Tojnar 5fb893f922
Merge pull request #124315 from piegamesde/gnome-extensions
gnomeExtensions: Some more cleanup
2021-07-14 03:56:18 +02:00
piegames 3c85c0c975 gnomeExtensions.appindicator: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames e7d7df799f gnomeExtensions.dynamic-panel-transparency: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames 1d1a498111 gnomeExtensions.clipboard-indicator: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames 1149365fd0 gnomeExtensions.disable-unredirect: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames 2e0ffbe754 gnomeExtensions.draw-on-your-screen: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames a4d668bc07 gnomeExtensions: Remove gtile
It was never actually referenced anywhere, so technically it was never packaged …
2021-07-14 03:35:12 +02:00
piegames 8dd6024493 gnomeExtensions.hot-edge: Remove manual packaging 2021-07-14 03:35:12 +02:00
piegames 9dcb9aecc1 gnomeExtensions.material-shell: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames ee5b47ecc2 gnomeExtensions.mpris-indicator-button: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames 33cf6530fe gnomeExtensions.noannoyance: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames c5aa58a015 gnomeExtensions.timepp: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames ba3562ed09 gnomeExtensions.window-is-ready-remover: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames 5128ec5f06 gnomeExtensions.workspace-matrix: Remove manual packaging 2021-07-14 03:35:11 +02:00
piegames bffbf4617a gnomeExtensions: integrate manually packaged extensions better with the others
Their keys are now not used directly. Instead, we go the standard route of mapping to the
UUID in order to apply the rename procedure. This makes sure the manual override always does
the correct thing, and also gives us more consistency overall.
2021-07-14 03:35:11 +02:00
piegames 6aae2894ef gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
piegames 48db86f42c gnomeExtensions: Remove remove-dropdown-arrows 2021-07-14 03:23:36 +02:00
R. RyanTM 471826cc0f gnomeExtensions.arcmenu: 10 -> 12 2021-07-11 12:26:40 +00:00
Elis Hirwing 8cd3949dfe
gnomeExtensions.gsconnect: Remove me as maintainer 2021-06-25 16:26:22 +02:00
R. RyanTM 3cd3aa74ba gnomeExtensions.gsconnect: 46 -> 47 2021-06-19 20:07:52 +00:00
Bjørn Forsman 7073a3722f gnomeExtensions.system-monitor: 2021-05-04 -> 2021-06-19
Fixes crash when opening "Preferences" in NixOS with GNOME 40.

Closes #123260.
2021-06-19 19:30:02 +02:00
Eduardo Sánchez Muñoz 49ad3f7a53 gnomeExtensions.dash-to-panel: 40 -> 43
Supports GNOME 40
2021-06-18 15:42:26 +02:00
Mattherix 576c0f0cf2
gnomeExtensions.night-theme-switcher: 40 -> 50 (#125725) 2021-06-10 18:42:08 +02:00
Ryan Mulligan 79b15cdf49
Merge pull request #124236 from r-ryantm/auto-update/gnome-shell-extension-unite
gnomeExtensions.unite: 53 -> 54
2021-06-06 13:51:35 -07:00
Anders Kaseorg 4f0cf23ea3 gnomeExtensions: allowAliases should default to true if unset
Make this use of config.allowAliases consistent with every other use
in the tree.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2021-06-01 10:24:49 -07:00
R. RyanTM 1e4c81cc69 gnomeExtensions.freon: 40 -> 44 2021-05-28 15:57:52 +00:00
Sandro 11e59a08dd
Merge pull request #124280 from Mdsp9070/gnome-extensions-gTile 2021-05-27 05:37:09 +02:00
Jan Tojnar 571d540abf
gnomeExtensions: Fix the package names
I did not realize the attribute names are derived from the Nix package names
so I accidentally, renamed them in https://github.com/NixOS/nixpkgs/pull/124295.
2021-05-25 02:35:04 +02:00
Jan Tojnar 5ba789eeca gnomeExtensions: normalize pnames
They should have gnome-shell-extension prefix like most other extension packages.
This is what other distros listed on Repology use so Repology will be able to unify them.

Exception is chrome-gnome-shell, which is estabilished under that name.
2021-05-24 23:41:24 +02:00
Matheus de Souza Pessanha 12eaa1f5fb
gTile: init at 44 2021-05-24 14:39:47 -03:00
R. RyanTM a385ec5238 gnomeExtensions.unite: 53 -> 54 2021-05-24 08:50:05 +00:00
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