Package - gnome-shell-extension-prefs
Package: gnome-shell-extension-prefs
apt-get install gnome-shell-extension-prefs
apt-get install gnome-shell-extension-prefs
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/g/gnome-shell/gnome-shell-extension-prefs_48.7-0+deb13u2_amd64.deb (Size: 39.2KiB)| Property | Value |
|---|---|
| Package | gnome-shell-extension-prefs |
| Source | gnome-shell |
| Version | 48.7-0+deb13u2 |
| Installed-Size | 84 |
| Maintainer | Debian GNOME Maintainers |
| Architecture | amd64 |
| Provides | gnome-extensions-app |
| Depends | gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.81.2), gnome-shell (= 48.7-0+deb13u2) |
| Recommends | gnome-browser-connector |
| Description | tool to enable / disable GNOME Shell extensions |
| Description-md5 | b750b0280408e85a2232c9f629868acf |
| Homepage | https://gitlab.gnome.org/GNOME/gnome-shell |
| Section | gnome |
| Priority | optional |
| Filename | pool/main/g/gnome-shell/gnome-shell-extension-prefs_48.7-0+deb13u2_amd64.deb |
| Size | 40136 |
| MD5sum | de650b17695e623ba7f8e5423ccfae2b |
| SHA256 | 221127549b9286700012025bd87f36ecdf82432b667d566dd51d706e2576e821 |
Files in package
- /usr/bin/gnome-extensions-app
- /usr/share/applications/org.gnome.Extensions.desktop
- /usr/share/doc/gnome-shell-extension-prefs/changelog.Debian.gz
- /usr/share/doc/gnome-shell-extension-prefs/copyright
- /usr/share/metainfo/org.gnome.Extensions.metainfo.xml