[ Source: gnome-shell ]
Package: gnome-shell-extension-prefs (3.36.1-5ubuntu1)
Links for gnome-shell-extension-prefs
Trisquel Resources:
Download Source Package gnome-shell:
- [gnome-shell_3.36.1-5ubuntu1.dsc]
- [gnome-shell_3.36.1.orig.tar.xz]
- [gnome-shell_3.36.1-5ubuntu1.debian.tar.xz]
Maintainer:
Original Maintainers:
- Debian GNOME Maintainers (Mail Archive)
- Iain Lane
- Laurent Bigonville
External Resources:
- Homepage [wiki.gnome.org]
Similar packages:
- gnome-shell-extension-caffeine
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extension-gpaste
- gnome-shell-extensions-gpaste
- gnome-shell-extension-better-volume
- gnome-shell-extension-show-ip
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.
Other Packages Related to gnome-shell-extension-prefs
|
|
|
-
- dep: gnome-shell (= 3.36.1-5ubuntu1)
- graphical shell for the GNOME desktop
-
- dep: gnome-shell-common (= 3.36.1-5ubuntu1)
- common files for the GNOME graphical shell
Download gnome-shell-extension-prefs
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
armhf | 5.5 kB | 65 kB | [list of files] |