[ Paquet source : gnome-shell ]
Paquet : gnome-shell-extension-prefs (47.2-2)
Liens pour gnome-shell-extension-prefs
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source gnome-shell :
Responsables :
- Debian GNOME Maintainers (Page QA, Archive du courrier électronique)
- Jeremy Bícha (Page QA)
- Marco Trevisan (Treviño) (Page QA)
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
- gnome-shell-extension-light-style
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-drive-menu
- 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: gir1.2-adw-1
- fichiers d'introspection GObject pour libadwaita
-
- dep: gir1.2-gtk-4.0
- bibliothèque d'interface utilisateur graphique GTK –⋅interface gir
-
- dep: gjs (>= 1.73.1)
- interfaces JavaScript basées sur Mozilla pour la plateforme GNOME – outil en ligne de commande
-
- dep: gnome-shell (= 47.2-2)
- interpréteur de commandes graphique pour le bureau GNOME
-
- dep: gnome-shell-common (>= 47~)
- fichiers communs pour l’interpréteur de commandes graphique de GNOME
-
- rec: gnome-browser-connector
- intégration des extensions GNOME Shell pour les navigateurs web
Télécharger gnome-shell-extension-prefs
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
s390x | 32,5 ko | 73,0 ko | [liste des fichiers] |