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
Olli Helenius
5bf370b226
gnomeExtensions.night-theme-switcher: 50 -> 53 ( #142346 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-10-22 13:14:36 +02:00
Anders Kaseorg
11c76c639d
gnomeExtensions.system-monitor: unstable-2021-06-19 → unstable-2021-09-07, support GNOME 41 ( #142156 )
2021-10-22 13:13:52 +02:00
Ryan Horiguchi
2bb795bab2
gnomeExtensions.dash-to-dock: unstable-2021-10-03 -> 70
2021-10-18 12:01:54 +02:00
Ryan Horiguchi
9cb9b011ac
gnomeExtensions: auto-update
2021-10-18 00:51:10 +02:00
Ryan Horiguchi
e2341edc1e
gnomeExtensions.dash-to-dock: unstable-2021-07-07 -> unstable-2021-10-03
2021-10-14 10:44:39 +02:00
Jan Tojnar
e859225ee5
Merge pull request #139144 from NixOS/gnome-41
...
GNOME: 40 → 41
2021-10-11 22:59:01 +02:00
Sandro
5e37cc3186
Merge pull request #124773 from r-ryantm/auto-update/gnome-shell-extension-emoji-selector
2021-10-11 15:07:34 +02:00
Jan Tojnar
ceacda7058
gnomeExtensions.gsconnect: 47 → 48
...
https://github.com/GSConnect/gnome-shell-extension-gsconnect/releases/tag/v48
https://github.com/GSConnect/gnome-shell-extension-gsconnect/compare/v47...v48
2021-10-09 21:35:56 +02:00
Ryan Horiguchi
a0f20138a4
gnomeExtensions.unite: remove manually packaging and use extension overrides
2021-10-03 19:54:57 +02:00
Ryan Horiguchi
f9d6a88874
gnomeExtensions: Auto-update
2021-10-02 16:50:27 +02:00
maralorn
786b429ace
Merge pull request #137131 from piegamesde/gnome-extensions
...
gnomeExtensions: add patch framework and fix extensions
2021-09-30 23:22:11 +02:00
piegames
49041cd82e
gnomeExtensions: rename extensionPatches.nix to extensionOverrides.nix
2021-09-24 20:59:15 +02:00
github-actions[bot]
3f2255106a
Merge master into staging-next
2021-09-12 00:01:45 +00:00
Ryan Horiguchi
8530881c1d
gnomeExtensions.unite: 54 -> 55
2021-09-11 18:54:19 +02:00
piegames
2de33b7184
gnomeExtensions.tilingGnome: remove unstable in pname
...
We want the pname to match a potential automatic packaging (if the extension is updated to support a more recent
GNOME version) as closely as possible.
2021-09-11 01:18:08 +02:00
piegames
48064d95d9
gnomeExtensions.screenshot-tool: Fix paths
...
Fixes #136112 .
2021-09-08 22:54:31 +02:00
piegames
0ce4ae676a
gnomeExtensions.brightness-control-using-ddcutil: Fix paths
...
Fixes #136111 .
2021-09-08 22:54:31 +02:00
piegames
2c063fe250
gnomeExtensions: add patch framework
...
It's like Haskell's overlay system, but way more primitive. We simply pre-define some
package overrides that are required for an automatically packaged extension to work.
Ideally, all (or almost all) currently manually pacakged extensions will work this way.
Since these are mostly just a few lines each, there is no need to split this up into a
lot of small files.
2021-09-08 22:54:31 +02:00
github-actions[bot]
e3f1f8bba2
Merge master into staging-next
2021-09-04 00:01:34 +00:00
maralorn
c4fb4c3567
Merge pull request #135066 from piegamesde/gnome-extensions
...
gnomeExtensions: Auto-update: 82 new, 111 updated, 4 removed
2021-09-03 23:08:15 +02:00
Jan Tojnar
4ff3577f25
Merge branch 'staging-next' into staging
2021-08-23 14:19:54 +02:00
Moritz Hedtke
1f88a017f2
gnomeExtensions.dash-to-dock: switch to fork to make it work with GNOME 40
2021-08-22 21:19:49 +02:00
piegames
ccb3538971
gnomeExtensions: Auto-update
2021-08-21 01:46:51 +02:00
github-actions[bot]
7ae0b00541
Merge staging-next into staging
2021-08-11 18:01:46 +00:00
Sandro
9df2cb074d
Merge pull request #132170 from mm--/gnome-extension-rename
...
gnomeExtensions.system-monitor: fix system-monitor name collision
2021-08-11 16:56:57 +02:00
Artturi
0f684dc8b2
Merge pull request #131716 from r-ryantm/auto-update/gnome-shell-extension-arcmenu
...
gnomeExtensions.arcmenu: 12 -> 14
2021-08-10 04:33:42 +03:00
Artturi
bd7b866804
Merge pull request #127493 from r-ryantm/auto-update/gnome-shell-extension-gsconnect
...
gnomeExtensions.gsconnect: 46 -> 47
2021-08-08 20:24:48 +03:00
Josh Moller-Mara
5806a57ce6
gnomeExtensions.system-monitor: fix system-monitor name collision
...
"system-monitor@paradoxxx.zero.gmail.com" is manually packaged,
"System_Monitor@bghome.gmail.com" is automatically packaged.
Both have the extensionPortalSlug "system-monitor", but the former
gets shadowed by the latter.
2021-07-30 14:21:59 -07:00
R. RyanTM
7cd26e8796
gnomeExtensions.arcmenu: 12 -> 14
2021-07-27 18:33:24 +00:00
Sandro
3a7d9ec7db
Merge pull request #130286 from rhoriguchi/gnomeExtensions.fuzzy-app-search
...
gnomeExtensions.fuzzy-app-search: remove custom packaging
2021-07-20 17:31:52 +02:00
Ben Siraphob
1b6bf36bba
Merge pull request #129932 from r-ryantm/auto-update/gnome-shell-extension-arcmenu
...
gnomeExtensions.arcmenu: 10 -> 12
2021-07-19 20:26:56 +07:00
Ryan Horiguchi
692e70c3ae
gnomeExtensions.fuzzy-app-search: remove custom packaging
2021-07-15 17:39:44 +02:00
Jan Tojnar
5fb893f922
Merge pull request #124315 from piegamesde/gnome-extensions
...
gnomeExtensions: Some more cleanup
2021-07-14 03:56:18 +02:00
piegames
3c85c0c975
gnomeExtensions.appindicator: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
e7d7df799f
gnomeExtensions.dynamic-panel-transparency: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
1d1a498111
gnomeExtensions.clipboard-indicator: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
1149365fd0
gnomeExtensions.disable-unredirect: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
2e0ffbe754
gnomeExtensions.draw-on-your-screen: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
a4d668bc07
gnomeExtensions: Remove gtile
...
It was never actually referenced anywhere, so technically it was never packaged …
2021-07-14 03:35:12 +02:00
piegames
8dd6024493
gnomeExtensions.hot-edge: Remove manual packaging
2021-07-14 03:35:12 +02:00
piegames
9dcb9aecc1
gnomeExtensions.material-shell: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
ee5b47ecc2
gnomeExtensions.mpris-indicator-button: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
33cf6530fe
gnomeExtensions.noannoyance: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
c5aa58a015
gnomeExtensions.timepp: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
ba3562ed09
gnomeExtensions.window-is-ready-remover: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
5128ec5f06
gnomeExtensions.workspace-matrix: Remove manual packaging
2021-07-14 03:35:11 +02:00
piegames
bffbf4617a
gnomeExtensions: integrate manually packaged extensions better with the others
...
Their keys are now not used directly. Instead, we go the standard route of mapping to the
UUID in order to apply the rename procedure. This makes sure the manual override always does
the correct thing, and also gives us more consistency overall.
2021-07-14 03:35:11 +02:00
piegames
6aae2894ef
gnomeExtensions: rename uuid field to extensionUuid
2021-07-14 03:23:36 +02:00
piegames
48db86f42c
gnomeExtensions: Remove remove-dropdown-arrows
2021-07-14 03:23:36 +02:00
R. RyanTM
471826cc0f
gnomeExtensions.arcmenu: 10 -> 12
2021-07-11 12:26:40 +00:00
Elis Hirwing
8cd3949dfe
gnomeExtensions.gsconnect: Remove me as maintainer
2021-06-25 16:26:22 +02:00
R. RyanTM
3cd3aa74ba
gnomeExtensions.gsconnect: 46 -> 47
2021-06-19 20:07:52 +00:00
Bjørn Forsman
7073a3722f
gnomeExtensions.system-monitor: 2021-05-04 -> 2021-06-19
...
Fixes crash when opening "Preferences" in NixOS with GNOME 40.
Closes #123260 .
2021-06-19 19:30:02 +02:00
Eduardo Sánchez Muñoz
49ad3f7a53
gnomeExtensions.dash-to-panel: 40 -> 43
...
Supports GNOME 40
2021-06-18 15:42:26 +02:00
Mattherix
576c0f0cf2
gnomeExtensions.night-theme-switcher: 40 -> 50 ( #125725 )
2021-06-10 18:42:08 +02:00
Ryan Mulligan
79b15cdf49
Merge pull request #124236 from r-ryantm/auto-update/gnome-shell-extension-unite
...
gnomeExtensions.unite: 53 -> 54
2021-06-06 13:51:35 -07:00
Anders Kaseorg
4f0cf23ea3
gnomeExtensions: allowAliases should default to true if unset
...
Make this use of config.allowAliases consistent with every other use
in the tree.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2021-06-01 10:24:49 -07:00
R. RyanTM
2ed04ad778
gnomeExtensions.emoji-selector: 19 -> 20
2021-05-28 16:26:20 +00:00
R. RyanTM
1e4c81cc69
gnomeExtensions.freon: 40 -> 44
2021-05-28 15:57:52 +00:00
Sandro
11e59a08dd
Merge pull request #124280 from Mdsp9070/gnome-extensions-gTile
2021-05-27 05:37:09 +02:00
Jan Tojnar
571d540abf
gnomeExtensions: Fix the package names
...
I did not realize the attribute names are derived from the Nix package names
so I accidentally, renamed them in https://github.com/NixOS/nixpkgs/pull/124295 .
2021-05-25 02:35:04 +02:00
Jan Tojnar
5ba789eeca
gnomeExtensions: normalize pnames
...
They should have gnome-shell-extension prefix like most other extension packages.
This is what other distros listed on Repology use so Repology will be able to unify them.
Exception is chrome-gnome-shell, which is estabilished under that name.
2021-05-24 23:41:24 +02:00
Matheus de Souza Pessanha
12eaa1f5fb
gTile: init at 44
2021-05-24 14:39:47 -03:00
R. RyanTM
a385ec5238
gnomeExtensions.unite: 53 -> 54
2021-05-24 08:50:05 +00:00
piegames
b642ac7b70
gnome: Package all the GNOME extensions
...
An automatic way to do this that scales up and requires little manual intervention is really needed. It works by scraping extensions.gnome.org with a python script, that writes all relevant information into the `extensions.json`. Every attribute of besaid file can be built into a package using `buildShellExtension`.
Extensions are grouped by GNOME Shell version for practical reasons. Only extensions for GNOME 40 and 3.38 were added, as we don't support legacy GNOME versions.
The extensions are exposed as an attrset, `pkgs.gnome40Extensions` and `pkgs.gnome38Extensions` respectively. The package name of each extensions is generated automatically from its UUID.
The attribute `pkgs.gnomeExtensions` contains the officially packaged and supported extensions set. It contains all the automatically packaged extensions for the current GNOME Shell version, which are overwritten by manually packaged ones where needed. Unlike gnomeXYExtensions, the names are not UUIDs, but automatically generated human-friendly names. Naming collisions – which are tracked in collisions.json – need to be manually resolved in the `extensionRenames` attrset.
2021-05-21 23:10:12 +02:00
Ryan Horiguchi
3b34293b28
gnomeExtensions.fuzzy-app-search: 4 -> 4.0.1
2021-05-19 17:12:53 +02:00
Jan Tojnar
c6812829db
Merge pull request #123096 from mschuwalow/update-clipboard-indicator
...
gnomeExtensions.clipboard-indicator: 37 -> 38
2021-05-18 13:23:27 +02:00
Sandro
d7ceeb4d2a
Merge pull request #123185 from rhoriguchi/gnomeExtensions.dynamic-panel-transparency
...
gnomeExtensions.dynamic-panel-transparency: 35 -> unstable-2021-03-04
2021-05-18 01:48:50 +02:00
Sandro
af67d7ed54
Merge pull request #122923 from rhoriguchi/gnomeExtensions.caffeine
...
gnomeExtensions.caffeine: 37 -> 38
2021-05-17 19:24:44 +02:00
Ryan Horiguchi
ab6a8437f5
gnomeExtensions.dynamic-panel-transparency: 35 -> unstable-2021-03-04
2021-05-17 06:16:01 +02:00
Maxim Schuwalow
3210c41ee3
gnomeExtensions.clipboard-indicator: 37 -> 38
2021-05-16 00:43:18 +02:00
Jan Tojnar
0aa8f09e6f
Merge pull request #123114 from eduardosm/gnome-shell-system-monitor-applet
...
gnomeExtensions.system-monitor: unstable-2021-04-08 -> unstable-2021-05-04
2021-05-15 17:14:38 +02:00
Eduardo Sánchez Muñoz
225b7514d8
gnomeExtensions.system-monitor: unstable-2021-04-08 -> unstable-2021-05-04
...
Supports GNOME 40
2021-05-15 16:10:29 +02:00
Doron Behar
a87c60a9c3
gnomeExtensions.sound-output-device-chooser: 35 -> 38
2021-05-15 01:58:25 +02:00
Ryan Horiguchi
1fe7bef84e
gnomeExtensions.caffeine: 37 -> 38
2021-05-14 09:26:01 +02:00
Sandro
6cc8d14591
Merge pull request #122269 from eduardosm/gnome-arcmenu
2021-05-10 19:06:18 +02:00
Eduardo Sánchez Muñoz
25cb63fed6
gnomeExtensions.arcmenu: 5 -> 10
...
Supports GNOME 40
2021-05-09 01:39:07 +02:00
Eduardo Sánchez Muñoz
5d54dd8e3e
gnomeExtensions.appindicator: 36 -> 37
2021-05-09 01:32:36 +02:00
Eduardo Sánchez Muñoz
c94643ac4d
gnomeExtensions.disable-unredirect: unstable-2021-01-17 -> unstable-2021-04-13
...
Enables support for GNOME 40
2021-05-08 21:22:09 +02:00
Vladimír Čunát
080cd658ca
Merge #121780 : treewide meta.maintainers tweaks
2021-05-08 10:47:08 +02:00
Jan Tojnar
468cb5980b
gnome: rename from gnome3
...
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00
