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
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
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
piegames
c18f3fb561
Merge pull request #153283 : gnomeExtensions.arcmenu: 19 -> 20
2022-01-04 01:18:21 +01:00
R. Ryantm
71646d4e31
gnomeExtensions.arcmenu: 19 -> 20
2022-01-03 00:28:23 +00:00
Ryan Horiguchi
c318bf2ed8
gnomeExtensions: auto-update
2022-01-01 14:48:21 +01:00
piegames
98f95dee12
Merge pull request #151022 from rhoriguchi/gnomeExtensions
...
gnomeExtensions: auto-update
2021-12-19 15:05:03 +01:00
Ryan Horiguchi
1eb38afcb4
gnomeExtensions: auto-update
2021-12-16 23:02:22 +01:00
Justinas Stankevicius
702dfffa06
gnomeExtensions.freon: 44 -> 45, patch binary paths
2021-12-12 02:24:40 +02:00
Ryan Horiguchi
ef4173bca3
gnomeExtensions: auto-update
2021-12-05 18:10:49 +01:00
Michael Livshin
96e01b7e16
gnomeExtensions: fix ddterm
...
It needs gjs, zenity & vte.
Fixes #125363 .
2021-12-04 23:21:01 +02:00
Adson Silva Cicilioti
d205f7e6af
gnomeExtensions.x11-gestures: can't find Touchegg
2021-12-03 13:54:58 -03:00
Adson Cicilioti
05e82bfdc2
gnomeExtensions.x11-gestures: can't find Touchegg
2021-12-03 13:01:59 -03:00
piegames
461a7d223c
Merge pull request #147542 : gnomeExtensions.pop-shell: init
2021-12-01 11:33:56 +01:00
genofire
753c1f5a97
gnomeExtensions.pop-shell: init at unstable-2021-11-30
2021-12-01 02:59:06 +01:00
piegames
9c1e0e0244
Merge pull request #147117 from VergeDX/arcmenu
2021-11-23 15:44:23 +01:00
piegames
d2d03f071a
Merge pull request #146953 from piegamesde/gnome-extensions
2021-11-23 15:16:36 +01:00
piegames
e41a7715a2
gnomeExtensions: improve README
...
Document that the all-packages.nix needs to be updated too (this was forgotten
in the GNOME 41 update). Also fixed typos.
2021-11-23 15:08:30 +01:00
piegames
bc1f025afb
gnomeExtensions: improve override mechanism
...
The reduced reduncancy should help us avoid making some copy-paste errors,
as happened previously. Also, increased ergonomics.
2021-11-23 15:06:08 +01:00
Vanilla
a391439b7b
gnomeExtensions.arcmenu: 14 -> 19
2021-11-23 20:33:01 +08:00
piegames
620b40bdbf
Merge PR #146183 : gnomeExtensions: make buildShellExtension visible
2021-11-22 01:44:00 +01:00
piegames
df61dcbba3
Merge pull request #145382 : gnomeExtensions: auto-update
2021-11-22 00:57:31 +01:00
Ryan Horiguchi
195a579890
gnomeExtensions.caffeine remove manual packaging and use extension overrides
2021-11-20 13:42:16 +01:00
Ryan Horiguchi
0cd1cbefe6
gnomeExtensions: auto-update
2021-11-20 12:58:00 +01:00
Jan Tojnar
609af42a9d
Merge pull request #145982 from doronbehar/pkg/gnome/sound-output-device-chooser
...
gnomeExtensions.sound-output-device-chooser: 38 -> 39
2021-11-16 22:50:23 +01:00
tu-maurice
a19640fb81
gnomeExtensions: make buildShellExtension visible
...
Simply inheriting does not work because all-packages.nix explicitly inherits
only gnomeExtensions and gnome*Extensions.
2021-11-15 22:00:20 +01:00
Doron Behar
2b43943229
gnomeExtensions.sound-output-device-chooser: 38 -> 39
2021-11-14 20:12:04 +02:00
Alex Martens
0d2b8f5911
gnomeExtensions.dash-to-panel: 44 -> 45
2021-11-13 14:44:55 -08:00
Alex Martens
dd5b304b3f
gnomeExtensions.dash-to-panel: 43 -> 44
2021-11-13 14:44:55 -08:00
Ryan Horiguchi
89443d70e5
gnomeExtensions: auto-update
2021-11-02 11:03:56 -07:00
maralorn
ed814a4586
Merge pull request #142215 from rhoriguchi/gnome41Extensions
...
Add gnome41Extensions
2021-10-27 23:01:42 +02:00
Doron Behar
76bbfe49ea
Merge pull request #143019 from doronbehar/pkg/gnome/easyScreenCast.update
2021-10-27 14:06:28 +03:00
Ryan Horiguchi
bb412a5125
gnomeExtensions: cleanup extension renames
2021-10-27 00:18:58 +02:00
Ryan Horiguchi
934ced4e81
gnomeExtensions: set default version to 41
2021-10-27 00:18:43 +02:00
Ryan Horiguchi
050c5948fc
gnomeExtensions: auto-update and add gnome41Extensions
2021-10-27 00:18:15 +02:00
Doron Behar
a96c010391
gnomeExtensions.easyScreenCast: unstable-2020-11-25 -> 1.4.0
2021-10-26 16:47:40 +03:00
