[ aria ]
[ Paquet source : gnome-shell ]
Paquet : gnome-shell-extension-prefs (43.9-0+deb12u2)
Liens pour gnome-shell-extension-prefs
Télécharger le paquet source gnome-shell :
- [gnome-shell_43.9-0+deb12u2.debian.tar.xz]
- [gnome-shell_43.9-0+deb12u2.dsc]
- [gnome-shell_43.9.orig.tar.xz]
Responsables :
Ressources externes :
- Page d'accueil [wiki.gnome.org]
Paquets similaires :
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
- GObject introspection files for libadwaita
-
- dep: gir1.2-gtk-4.0
- GTK graphical user interface library -- gir bindings
-
- dep: gjs (>= 1.73.1)
- Mozilla-based javascript bindings for the GNOME platform (cli tool)
-
- dep: gnome-shell (= 43.9-0+deb12u2)
- graphical shell for the GNOME desktop
-
- dep: gnome-shell-common (= 43.9-0+deb12u2)
- common files for the GNOME graphical shell
-
- rec: chrome-gnome-shell
- Paquet indisponible
Télécharger gnome-shell-extension-prefs
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 27,7 ko | 59,0 ko | [liste des fichiers] |
arm64 | 27,7 ko | 59,0 ko | [liste des fichiers] |