gnome/gnome-shell-extensions-extra
1
0
Fork 0
Code Issues Activity

Adding provides for individual extensions.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-09 23:09:14 +01:00
parent 3ccfbc37d3
commit eee07e5f75
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
debian/control vendored
View file

@ -29,6 +29,13 @@ Breaks:
gnome-shell-extension-multi-monitors, gnome-shell-extension-multi-monitors,
Replaces: Replaces:
gnome-shell-extension-multi-monitors, gnome-shell-extension-multi-monitors,
Provides:
gnome-shell-extension-disable-workspace-switcher,
gnome-shell-extension-hibernate-status,
gnome-shell-extension-middleclickclose,
gnome-shell-extension-multi-monitors-add-on,
gnome-shell-extension-no-overview,
gnome-shell-extension-vertical-workspaces,
Description: Conglomeration package of GNOME Shell extensions Description: Conglomeration package of GNOME Shell extensions
The gnome-shell-extensions-extra contains the following extensions for The gnome-shell-extensions-extra contains the following extensions for
GNOME Shell: GNOME Shell: