swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 04:49:01 +02:00
Code Issues Packages Projects Releases Wiki Activity
356475 commits 5 branches 0 tags 27 GiB
Commit graph

11 commits

Author SHA1 Message Date
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