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
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
Ryan Horiguchi
ca1cddd15b
gnomeExtensions.volume-mixer: add override to fix extension
2022-01-12 16:55:54 +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
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
Ryan Horiguchi
195a579890
gnomeExtensions.caffeine remove manual packaging and use extension overrides
2021-11-20 13:42:16 +01:00
Ryan Horiguchi
2bb795bab2
gnomeExtensions.dash-to-dock: unstable-2021-10-03 -> 70
2021-10-18 12:01:54 +02:00
Ryan Horiguchi
a0f20138a4
gnomeExtensions.unite: remove manually packaging and use extension overrides
2021-10-03 19:54:57 +02:00
piegames
49041cd82e
gnomeExtensions: rename extensionPatches.nix to extensionOverrides.nix
2021-09-24 20:59:15 +02:00
