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

131 commits

Author SHA1 Message Date
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
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