[ sid ]
[ Source: gnome-shell-extensions ]
Package: gnome-shell-extension-user-theme (47.0-2)
Links for gnome-shell-extension-user-theme
Debian Resources:
Download Source Package gnome-shell-extensions:
- [gnome-shell-extensions_47.0-2.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-2.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-workspace-indicator
- gnome-shell-extension-windows-navigator
- gnome-shell-extension-native-window-placement
- gnome-shell-extension-window-list
- gnome-shell-extension-auto-move-windows
- gnome-shell-extension-screenshot-window-sizer
- gnome-shell-extension-status-icons
- gnome-shell-extension-launch-new-instance
- gnome-shell-extension-drive-menu
- gnome-shell-extensions-common
- gnome-shell-extension-places-menu
GNOME Shell extension to load alternative GNOME Shell themes
GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to allow switching to alternative GNOME Shell themes.
Other Packages Related to gnome-shell-extension-user-theme
|
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- or gsettings-backend
- virtual package provided by dconf-gsettings-backend
-
- dep: gnome-shell (<< 48~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 47~)
-
- dep: gnome-shell-extensions-common (= 47.0-2)
- 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-user-theme
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 9.2 kB | 31.0 kB | [list of files] |