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
