[ trixie ]
[ sid ]
[ Source: gnome-shell-extensions ]
Package: gnome-shell-extension-places-menu (47.0-3)
Links for gnome-shell-extension-places-menu
Debian Resources:
Download Source Package gnome-shell-extensions:
- [gnome-shell-extensions_47.0-3.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-3.debian.tar.xz]
Maintainers:
- Debian GNOME Maintainers (QA Page, Mail Archive)
- Iain Lane (QA Page)
- Jeremy Bícha (QA Page)
- Laurent Bigonville (QA Page)
- Marco Trevisan (Treviño) (QA Page)
External Resources:
- Homepage [wiki.gnome.org]
Similar packages:
- gnome-shell-extension-window-list
- gnome-shell-extension-launch-new-instance
- gnome-shell-extension-drive-menu
- gnome-shell-extension-light-style
- gnome-shell-extension-workspace-indicator
- gnome-shell-extension-user-theme
- gnome-shell-extension-native-window-placement
- gnome-shell-extension-system-monitor
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-status-icons
- gnome-shell-extension-auto-move-windows
Places menu for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to add a menu for quickly navigating to places in the system, similar to the menu in GNOME 2.
This package is part of the GNOME Classic default set of extensions.
Other Packages Related to gnome-shell-extension-places-menu
|
|
|
|
-
- dep: gnome-shell (<< 48~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 47~)
-
- dep: gnome-shell-extensions-common (= 47.0-3)
- common files for official GNOME Shell extensions
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
- or gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions
Download gnome-shell-extension-places-menu
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12.0 kB | 43.0 kB | [list of files] |