Dacio Romero
f20115d27d
gnomeExtensions.arcmenu: 43 -> 44
2023-04-17 23:00:47 -07:00
Krutonium
98de93088d
gnomeExtensions.arcmenu: 37 -> 43
2022-12-03 08:07:17 -05:00
R. Ryantm
eae6d67f40
gnomeExtensions.arcmenu: 35 -> 37
2022-09-01 16:52:10 +00:00
R. Ryantm
735450e173
gnomeExtensions.arcmenu: 30 -> 35
2022-07-31 09:57:22 +00:00
Korriee
8a17c5dba6
gnomeExtensions.arcmenu: 27 -> 30
2022-04-10 18:50:41 -04:00
R. Ryantm
7ab510e588
gnomeExtensions.arcmenu: 24 -> 27
2022-04-04 17:57:40 +00:00
R. Ryantm
5e6e647dc1
gnomeExtensions.arcmenu: 23 -> 24
2022-03-03 20:27:58 +00:00
R. Ryantm
52e9fca9ee
gnomeExtensions.arcmenu: 21 -> 23
2022-02-24 05:53:24 +00:00
R. Ryantm
068c36f83b
gnomeExtensions.arcmenu: 20 -> 21
2022-02-11 20:52:05 +00:00
R. Ryantm
71646d4e31
gnomeExtensions.arcmenu: 19 -> 20
2022-01-03 00:28:23 +00:00
Vanilla
a391439b7b
gnomeExtensions.arcmenu: 14 -> 19
2021-11-23 20:33:01 +08:00
R. RyanTM
7cd26e8796
gnomeExtensions.arcmenu: 12 -> 14
2021-07-27 18:33:24 +00: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
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
R. RyanTM
471826cc0f
gnomeExtensions.arcmenu: 10 -> 12
2021-07-11 12:26:40 +00: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
25cb63fed6
gnomeExtensions.arcmenu: 5 -> 10
...
Supports GNOME 40
2021-05-09 01:39:07 +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
