[ experimental ]
[ Bron: gnome-shell-extensions ]
Pakket: gnome-shell-extension-user-theme (47.0-1)
Verwijzigingen voor gnome-shell-extension-user-theme
Debian bronnen:
Het bronpakket gnome-shell-extensions downloaden:
- [gnome-shell-extensions_47.0-1.dsc]
- [gnome-shell-extensions_47.0.orig.tar.xz]
- [gnome-shell-extensions_47.0-1.debian.tar.xz]
Beheerders:
- Debian GNOME Maintainers (QA-pagina, Mailarchief)
- Iain Lane (QA-pagina)
- Jeremy Bícha (QA-pagina)
- Laurent Bigonville (QA-pagina)
- Marco Trevisan (Treviño) (QA-pagina)
Externe bronnen:
- Homepage [wiki.gnome.org]
Vergelijkbare pakketten:
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extension-weather
- gnome-shell-extension-blur-my-shell
- gnome-pass-search-provider
- gnome-shell-extension-manager
- gnome-shell-extension-easyscreencast
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-redshift
- gnome-shell-extensions
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
GNOME Shell extension to load alternative GNOME Shell themes
Andere aan gnome-shell-extension-user-theme gerelateerde pakketten
|
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- of gsettings-backend
- virtueel pakket geboden door xfconf-gsettings-backend
-
- dep: gnome-shell (<< 48~)
- graphical shell for the GNOME desktop
- dep: gnome-shell (>= 47~)
-
- dep: gnome-shell-extensions-common (= 47.0-1)
- common files for official GNOME Shell extensions
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
- of gnome-shell-extension-manager
- Utility for managing GNOME Shell Extensions