Paquet : gnome-shell-extension-prefs (3.36.2-1) [debports]
Liens pour gnome-shell-extension-prefs
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Ressources externes :
- Page d'accueil [wiki.gnome.org]
Paquets similaires :
- gnome-shell-extension-caffeine
- gnome-shell-extension-espresso
- gnome-shell-extensions-extra
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- notification-position-reloaded
- gnome-shell-extension-light-style
- gnome-shell-extension-mediaplayer
- gconf-gsettings-backend
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.
Autres paquets associés à gnome-shell-extension-prefs
|
|
|
|
-
- dep: gnome-shell (= 3.36.2-1)
- interpréteur de commandes graphique pour le bureau GNOME
-
- dep: gnome-shell-common (= 3.36.2-1)
- fichiers communs pour l’interpréteur de commandes graphique de GNOME
-
- rec: chrome-gnome-shell
- Paquet indisponible
Télécharger gnome-shell-extension-prefs
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
m68k (portage non officiel) | 37,5 ko | 58,0 ko | [liste des fichiers] |