Anders Kaseorg
daa0d0d265
gnomeExtensions.system-monitor: Use upstream Makefile to fix version
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-05 15:30:37 -07:00
Anders Kaseorg
966b98f945
gnomeExtensions.system-monitor: 2021-09-07 → 2022-02-04
...
Needed for GNOME 42 support.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-03-28 21:53:08 -07:00
Anders Kaseorg
11c76c639d
gnomeExtensions.system-monitor: unstable-2021-06-19 → unstable-2021-09-07, support GNOME 41 ( #142156 )
2021-10-22 13:13:52 +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
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
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
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
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
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
