3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

164 commits

Author SHA1 Message Date
Ryan Horiguchi 0b371422d8
gnomeExtensions: auto-update 2022-04-17 13:57:10 +02:00
piegames bf133c51ac
Merge pull request #168193: gnomeExtensions.arcmenu: 27 -> 30 2022-04-12 01:01:06 +02:00
piegames 3b396d7f8b
Merge pull request #167768: gnomeExtensions: refactor update script 2022-04-11 12:54:41 +02:00
Korriee 8a17c5dba6 gnomeExtensions.arcmenu: 27 -> 30 2022-04-10 18:50:41 -04:00
Ryan Horiguchi dc35880008
gnomeExtensions: auto-update 2022-04-09 00:10:34 +02:00
tu-maurice d2b225789c gnomeExtensions: refactor update script
The update-extensions.py script downloads extension information once for each
shell version, although one extension version might be used for multiple shell
versions. To reduce the amount of downloads we first select the appropriate
extension version per shell version as done before, then download the
corresponding information once for each selected extension version, and finally
map each shell version to the downloaded information of the selected extension
version.
2022-04-07 22:16:22 +02:00
piegames 98bdd27117
Merge pull request #167213: gnomeExtensions.arcmenu: 24 -> 27 2022-04-06 01:01:02 +02:00
piegames b178b904ec
Merge #166187: gnomeExtensions.system-monitor: 2021-09-07 → 2022-02-04 2022-04-06 00:55:19 +02:00
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
R. Ryantm 7ab510e588 gnomeExtensions.arcmenu: 24 -> 27 2022-04-04 17:57:40 +00:00
Robert Hensing 200175a701 config.allowAliases: Define as option
This simplifies usages and makes the default value consistent.

In a few cases, the default value was interpreted to be `false`,
but this is useless, because virtually nobody will explicitly
set `allowAliases = true;`.
2022-04-01 11:33:10 +02:00
piegames 1dfe42f57c
Merge #166485: gnomeExtensions.pop-shell: 2022-01-14 -> 2022-03-25 2022-03-31 14:18:26 +02:00
genofire 9781be53a2 gnomeExtensions.pop-shell: unstable-2022-01-14 -> unstable-2022-03-25 2022-03-30 23:41:54 +02:00
piegames bf80fd1786
Merge pull request #166327: gnomeExtensions: auto-update 2022-03-30 12:26:50 +02:00
Ryan Horiguchi b9c5ad1c06
gnomeExtensions: auto-update 2022-03-30 00:28:30 +02:00
piegames eabb942f1f
Merge #166184: gnomeExtensions.sound-output-device-chooser: update 2022-03-29 22:58:01 +02:00
piegames bd9ceeda56
Merge pull request #165977: gnomeExtensions.freon: package automatically 2022-03-29 21:57:32 +02:00
Doron Behar 2682154e89 gnomeExtensions.sound-output-device-chooser: 39 -> unstable-2022-03-29 2022-03-29 22:25:21 +03: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
Ryan Horiguchi af26200234
gnomeExtensions: add gnome40Extensions to gnomeExtensions 2022-03-28 16:48:58 +02:00
Justinas Stankevicius 2b52fed975 gnomeExtensions.freon: package automatically 2022-03-27 20:15:31 +03:00
piegames 4edf59e00a gnomeExtensions.screen-autorotate: Patch gjs path
Fixes #164865
2022-03-26 13:24:42 +01:00
Fabián Heredia Montiel 1a805fcd23 gnomeExtensions: update extensions.json 2022-03-25 11:36:22 -06:00
Fabián Heredia Montiel 9715d3e5b3 gnomeExtensions.freon: 45 → unstable-2022-02-05 2022-03-25 11:36:22 -06:00
Fabián Heredia Montiel 33a2ef2060 gnomeExtensions.gsconnect: 53 → 50 2022-03-25 11:36:21 -06:00
piegames d30f68d0b8 gnomeExtensions: 41 → 42 2022-03-25 15:02:50 +01:00
Jan Tojnar b11117dd86 gnomeExtensions.gsconnect: 50 → 53
https://github.com/GSConnect/gnome-shell-extension-gsconnect/releases/tag/v51
https://github.com/GSConnect/gnome-shell-extension-gsconnect/releases/tag/v53
2022-03-25 15:02:48 +01:00
Jan Tojnar 1aefc6d801 gnomeExtensions.gsconnect: 48 → 50
https://github.com/GSConnect/gnome-shell-extension-gsconnect/releases/tag/v49
https://github.com/GSConnect/gnome-shell-extension-gsconnect/releases/tag/v50
2022-03-25 15:02:43 +01:00
Ryan Horiguchi b8229f288c
gnomeExtensions: add GNOME 42 extensions 2022-03-20 17:59:37 +01:00
Ryan Horiguchi 70f65b1ba8
gnomeExtensions: auto-update 2022-03-20 17:59:14 +01:00
piegames 0ff66591e4
Merge pull request #162668: gnomeExtensions.arcmenu: 23 -> 24 2022-03-11 12:21:01 +01:00
Ryan Horiguchi a396af658c
gnomeExtensions: auto-update 2022-03-10 23:44:18 +01:00
R. Ryantm 5e6e647dc1 gnomeExtensions.arcmenu: 23 -> 24 2022-03-03 20:27:58 +00:00
R. Ryantm bdc5169fa4 gnomeExtensions.dash-to-dock: 71+date=2022-01-24 -> 71+date=2022-02-23 2022-02-24 13:51:29 +01:00
R. Ryantm 52e9fca9ee gnomeExtensions.arcmenu: 21 -> 23 2022-02-24 05:53:24 +00:00
Ryan Horiguchi 10600763f5
gnomeExtensions: auto-update 2022-02-20 21:14:00 +01:00
piegames bb04f169d0
Merge pull request #160726: dash-to-dock: Build from source again
gnomeExtensions.dash-to-dock: Build from source again
2022-02-19 12:18:55 +01:00
Jan Tojnar 967a4c22db gnomeExtensions.dash-to-dock: Build from source again
The stable version has several usability bugs (e.g. https://github.com/micheleg/dash-to-dock/issues/1629)
but patches do not apply cleanly to the zips from the extension portal.
Let’s switch back to building from source to make it easier to update the extension.

This reverts commit 2bb795bab2,
adds an update script and updates to latest git revision.
2022-02-18 17:28:28 +01:00
R. Ryantm 068c36f83b gnomeExtensions.arcmenu: 20 -> 21 2022-02-11 20:52:05 +00:00
piegames ac68b477d6
Merge pull request #158952: gnomeExtensions: auto-update 2022-02-11 13:01:58 +01:00
piegames 1a7a5bf2e8
Merge pull request #157147: gnomeExtensions.dash-to-panel: move to manual packaging
gnomeExtensions.dash-to-panel: fix wrongly shown version number and remove manual packaging (closes #157005)
2022-02-10 21:13:44 +01:00
Ryan Horiguchi 6d715cb295
gnomeExtensions: auto-update 2022-02-10 13:09:40 +01:00
Simon Voordouw d6209cb7ab gnomeExtensions.pop-shell: fix executables
Fix the shebang and set the executable bit for the color_dialog
and floating_exceptions executables.
2022-02-08 23:45:26 +01:00
Ryan Horiguchi 833cc0db4e
gnomeExtensions.dash-to-panel: fix wrongly shown version number and remove manual packaging (closes #157005) 2022-01-29 17:26:16 +01:00
Ryan Horiguchi 79dd2fd10a
gnomeExtensions: auto-update 2022-01-28 16:05:51 +01:00
piegames 0354c3a913
Merge pull request #156199: gnomeExtensions: auto-update 2022-01-24 00:12:22 +01:00
Jörg Thalheim 543dbb4ffb gnomeExtension.pop-shell: 2021-11-30 -> 2022-01-14 2022-01-23 11:58:41 +01:00
Ryan Horiguchi 6ac669cca9
gnomeExtensions: auto-update 2022-01-22 20:47:44 +01:00
Ryan Horiguchi ca1cddd15b
gnomeExtensions.volume-mixer: add override to fix extension 2022-01-12 16:55:54 +01:00
Ulrik Strid ea368b3c62 gnomeExtensions.taskwhisperer: 16 -> 20 2022-01-04 11:20:23 +01:00