Package: gnome-shell-extension-prefs Status: install ok installed Priority: optional Section: gnome Installed-Size: 59 Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org> [Debian Bug Report] Architecture: amd64 Source: gnome-shell Version: 43.9-0+deb12u1 Replaces: gnome-shell (<< 3.36.0-2) Provides: gnome-extensions-app Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 43.9-0+deb12u1), gnome-shell-common (= 43.9-0+deb12u1) Recommends: chrome-gnome-shell Breaks: gnome-shell (<< 3.36.0-2) Description: tool to enable / disable GNOME Shell extensions This package contains a tool which users who use Shell extensions can use to toggle them on and off, and access their preferences. Homepage: https://wiki.gnome.org/Projects/GnomeShell Files owned by package gnome-shell-extension-prefs: /usr /usr/bin /usr/bin/gnome-extensions-app /usr/bin/gnome-shell-extension-prefs /usr/share /usr/share/applications /usr/share/applications/org.gnome.Extensions.desktop /usr/share/doc /usr/share/doc/gnome-shell-extension-prefs /usr/share/doc/gnome-shell-extension-prefs/changelog.Debian.gz /usr/share/doc/gnome-shell-extension-prefs/copyright /usr/share/metainfo /usr/share/metainfo/org.gnome.Extensions.metainfo.xml