Questions marquées «gnome-shell-extension»

Les extensions GNOME Shell sont de petits extraits qui étendent les fonctionnalités et les fonctionnalités de GNOME Shell. Ces extraits sont écrits en JavaScript et CSS.

3
Configurer les extensions gnome-shell à partir de la ligne de commande
J'aime exécuter quelques scripts pour installer automatiquement des packages et faire des configurations sur de nouvelles installations d'OS. J'utilise gnome shell avec quelques extensions et pensais améliorer mes scripts pour les configurer. Je configure généralement les extensions en utilisant gnome-shell-extension-prefs ou dconf-editor et je sais comment modifier d'autres schémas à …
2
Les extensions Gnome restent dans la liste après avoir été supprimées
J'ai un petit problème avec les extensions de shell gnome. Après avoir installé certains d'entre eux, j'ai compris que je ne les aimais pas et j'ai décidé de les supprimer. Les extensions elles-mêmes (leurs dossiers dans /home/username/.local/share/gnome-shell/extensions) ont été supprimées avec succès. Cependant, les extensions supprimées n'ont pas été supprimées …
2
Mise à niveau des extensions de shell Gnome
J'ai récemment effectué une mise à niveau vers Ubuntu 12.04 et toutes les extensions de shell gnome répertoriées par l'outil Gnome Tweak sont désactivées. Quel est le moyen le plus simple de les réparer / mettre à niveau? Dois-je les supprimer, télécharger à nouveau et les installer manuellement?
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.