Paquet : gnome-shell-extension-user-theme (47.3-1)

[ Paquet source : gnome-shell-extensions  ]

GNOME Shell extension to load alternative GNOME Shell themes

GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to allow switching to alternative GNOME Shell themes.

Autres paquets associés à gnome-shell-extension-user-theme

• dep: dconf-gsettings-backend

  système de stockage de configuration simple - moteur GSettings

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend, xfconf-gsettings-backend

• dep: gnome-shell (<< 48~)

  interpréteur de commandes graphique pour le bureau GNOME

  dep: gnome-shell (>= 47~)

• dep: gnome-shell-extensions-common (= 47.3-1)

  common files for official GNOME Shell extensions

• rec: gnome-shell-extension-prefs

  tool to enable / disable GNOME Shell extensions

  ou gnome-shell-extension-manager

  utilitaire de gestion d’extensions de GNOME Shell

Télécharger gnome-shell-extension-user-theme

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	9,3 ko	30,0 ko	[liste des fichiers]