Paquet : gnome-shell-extension-prefs (3.38.6-1~deb11u2)

[ Paquet source : gnome-shell  ]

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.38.6-1~deb11u2)

  interpréteur de commandes graphique pour le bureau GNOME

• dep: gnome-shell-common (= 3.38.6-1~deb11u2)

  fichiers communs pour l’interpréteur de commandes graphique de GNOME

• rec: chrome-gnome-shell

  intégration des extensions GNOME Shell pour les navigateurs web

Télécharger gnome-shell-extension-prefs

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	42,7 ko	70,0 ko	[liste des fichiers]