alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
398431 commits 217 branches 121 tags 4.5 GiB
Commit graph

191 commits

Author SHA1 Message Date
Ryan Horiguchi b25c092de4
gnomeExtensions: auto-update 2022-08-03 00:07:27 +02:00
Ryan Horiguchi 2c19f93f08
gnomeExtensions: auto-update 2022-07-20 21:51:13 +02:00
zendo 4c4e75b3d6 gnomeExtensions: auto-update 2022-07-07 17:41:33 +08:00
Ryan Horiguchi 3e17f00d88
gnomeExtensions: auto-update 2022-06-16 21:19:02 +02:00
piegames 0a8e9a1592
Merge pull request #176002: gnomeExtensions: auto-update 2022-06-03 22:03:12 +02:00
Ryan Horiguchi 2416fb6f6c
gnomeExtensions: auto-update 2022-06-02 23:10:46 +02:00
Justinas Stankevicius c0e56baaba gnomeExtensions.freon: fix patch for v48, simplify 2022-06-02 22:51:41 +03:00
Ryan Horiguchi bd50034781
gnomeExtensions: auto-update 2022-05-23 23:22:53 +02:00
Artturin b3caa2f1fe treewide: extraPostFetch -> postFetch 2022-05-23 17:18:50 +03:00
Jan Tojnar 277f39afc9 gnomeExtensions.dash-to-dock: 71+date=2022-02-23 → 72 
Supports GNOME 42.

https://github.com/micheleg/dash-to-dock/compare/extensions.gnome.org-v71...extensions.gnome.org-v72
 2022-05-17 07:47:33 +02:00
Ryan Horiguchi 399a676ada
gnomeExtensions.vitals: remove workaround 2022-05-16 00:00:46 +02:00
Ryan Horiguchi ad6f1a577e
gnomeExtensions: auto-update 2022-05-15 00:27:30 +02:00
Ryan Horiguchi b9418937ec
gnomeExtensions: auto-update 2022-04-30 17:04:30 +02:00
Ryan Horiguchi a9e957f076
gnomeExtensions: update-extensions.py fix wrong variable name 2022-04-30 16:35:33 +02:00
piegames 67080603da
Merge pull request #168981: gnomeExtensions: improve update script 2022-04-23 22:20:24 +02:00
Ryan Horiguchi d4268e7953
gnomeExtensions: update-extensions.py remove debug code 2022-04-23 17:53:31 +02:00
Ryan Horiguchi d13f1f869f
gnomeExtensions: update-extensions.py make var more pythonic 2022-04-23 01:38:09 +02:00
Ryan Horiguchi 7a54239267
gnomeExtensions: update-extensions.py move info after writing to file 2022-04-23 01:38:09 +02:00
Ryan Horiguchi dcb93d0080
gnomeExtensions: update-extensions.py improve download 2022-04-23 01:38:09 +02:00
Ryan Horiguchi 51fdb8f239
gnomeExtensions: update-extensions.py use relative paths 2022-04-23 01:38:09 +02:00
Ryan Horiguchi c88d12200c
gnomeExtensions: update-extensions.py improve collision warning 2022-04-23 01:36:58 +02:00
Ryan Horiguchi 3081845144
gnomeExtensions: update-extensions.py fix typos 2022-04-23 01:36:58 +02:00
Ryan Horiguchi bce4a670cc
gnomeExtensions: update-extensions.py fix where metadata.json missing 2022-04-23 01:36:58 +02:00
Ryan Horiguchi 5ce8c34043
gnomeExtensions: update-extensions.py format 2022-04-23 01:14:46 +02:00
Ryan Horiguchi 7aed828633
gnomeExtensions.night-theme-switcher: remove manual packaging 2022-04-21 14:15:08 +02:00
piegames a31f1abfb5
Merge pull request #169045: gnomeExtensions: auto-update 
gnomeExtensions: auto-update
 2022-04-20 14:30:08 +02:00
Ryan Horiguchi 0b371422d8
gnomeExtensions: auto-update 2022-04-17 13:57:10 +02:00
Jamie Quigley b26d2b7998
gnome-shell-extension-impatience: unstable-2019-09-23 -> unstable-2022-03-26 2022-04-16 00:43:51 +01: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