Paquet : gnome-shell-extension-manager (0.5.1-1)

[ Paquet source : gnome-shell-extension-manager  ]

utilitaire de gestion d’extensions de GNOME Shell

Le gestionnaire d’extensions de GNOME Shell est un outil d’assistance pour la gestion des extensions installées de GNOME Shell.

Étiquettes: Boîte à outils d'interface utilisateur: GTK

Autres paquets associés à gnome-shell-extension-manager

• dep: dconf-gsettings-backend

  système de stockage de configuration simple - moteur GSettings

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend

• dep: gjs

  interfaces JavaScript basées sur Mozilla pour la plateforme GNOME – outil en ligne de commande

• dep: gnome-shell

  interpréteur de commandes graphique pour le bureau GNOME

• dep: libadwaita-1-0 (>= 1.5~beta)

  Library with GTK widgets for mobile phones

• dep: libc6 (>= 2.34)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 4.3)

  bibliothèque de prise en charge de GCC

• dep: libglib2.0-0t64 (>= 2.77.0)

  bibliothèque GLib de routines C

• dep: libgtk-4-1 (>= 4.9.3)

  bibliothèque d'interface graphique utilisateur GTK

• dep: libjson-glib-1.0-0 (>= 1.5.2)

  bibliothèque GLib de manipulation JSON

• dep: libsoup-3.0-0 (>= 3.0.3)

  HTTP library implementation in C -- Shared library

• dep: libtext-engine-0.1-0 (>= 0.1.1)

  Rich-text editing framework for GTK 4

• dep: unzip

  extraction d'archives « .zip »

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

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
armel	133,9 ko	729,0 ko	[liste des fichiers]