J'utilise gnome-shell 3.4.1 sous Ubuntu 12.04. J'ai essayé différentes extensions sur http://extensions.gnome.org et maintenant je veux en supprimer complètement, spécialement parce qu'elles ne prennent pas de place dans Gnome Tweak Tool.
Est-il sûr de simplement supprimer le dossier d'extension sous ~/.local/share/gnome-shell/extensions/?
Comment supprimer complètement une extension de shell gnome?
Réponses:
De la page shell Gnome Il est écrit:
Il y a quelques bogues
GNOME 3.2qui empêchaient la désinstallation de fonctionner correctement pour certaines extensions. GNOME Shell 3.2.2.1 a résolu ces problèmes. Assurez-vous que votre système est entièrement mis à jour si vous rencontrez des problèmes lors de la désinstallation des extensions.Si vous n'avez pas GNOME Shell 3.2.2.1 et que vous ne pouvez pas l'obtenir, ou si vous n'êtes pas sûr, vous pouvez désinstaller l'extension manuellement. Supprimez le répertoire de l'extension, puis redémarrez le shell. L'extension doit être stockée sous
~/.local/share/gnome-shell/extensions. La suppression du répertoire ne sera pas suffisante: vous devrez redémarrer le Shell pour vous assurer que l'extension est complètement désinstallée: ouvrez la boîte de dialogue d'exécution avec Alt + F2 et entrezrestart.
Donc, vous serez bien en supprimant l'extension sous ~/.local/share/gnome-shell/extensionsmanuellement.
3
Cela semble suggérer qu'il existe un certain processus de désinstallation dans les versions après 3.2.2.1 (autre que la suppression manuelle du dossier et le redémarrage) - qui n'est cependant pas spécifié. Quoi qu'il en soit, merci.
—
MorganSBailey
J'ai supprimé le dossier de certaines extensions, mais certaines d'entre elles reviennent après le redémarrage !!! (c.-à-d. menu d'application, AlternateTab et etc.)
—
Rahmani
@Rahmani si vous avez toujours ce problème: regardez
—
Steffen Winkler
/usr/share/gnome-shell/extensions/. Apparemment, certaines extensions sont installées à l'échelle du système et, du moins dans mon cas, elles n'ont pas été supprimées par le site Web.
@SteffenWinkler merci, cela fonctionne parfaitement. Je ne savais pas qu'il était installé à l'échelle du système
—
ismailsunni
OK, je l'ai trouvé. Dans https://extensions.gnome.org , naviguez sous Installed extensions, où il y a un bouton X à côté de chaque extension qui la désinstalle. Comme mentionné dans la réponse précédente, cela ne fonctionne qu'après la version 3.2.2.1.
Cela ne fonctionne pas toujours ...
—
Wilf
Je désinstalle l'extension de cette page, mais certains d'entre eux reviennent après le redémarrage !!! (c.-à-d. menu d'application, AlternateTab et etc.)
—
Rahmani
@Rahmani - Ce sont les deux extensions par fmuellner extensions.gnome.org/accounts/profile/fmuellner ... J'ai téléchargé son extension User Settings et il a ajouté un tas de ses autres extensions. Maintenant, je ne peux en supprimer aucun.
—
guttermonk
Les extensions du formulaire 'fmuellner' semblent être stockées dans un répertoire "/ usr / share / gnome-shell / extensions /" et d'autres extensions sont stockées dans un répertoire "~ / .local / share / gnome-shell / extensions". Moi aussi, j'ai eu ce problème avant. Je l'ai résolu en supprimant ces répertoires et en redémarrant l'ordinateur. Vous ne pouvez pas les supprimer du navigateur de fichiers ou de l'explorateur. Des autorisations de superutilisateur sont donc nécessaires pour les supprimer. Utilisez la commande suivante dans le terminal.
$ sudo rm -r /usr/share/gnome-shell/extensions/
$ sudo rm -r ~/.local/share/gnome-shell/extensions/
puis pour redémarrer l'ordinateur à partir de l'interface graphique ou vous pouvez utiliser
$ sudo init 6
Attention à ne pas supprimer d'autres répertoires par erreur. Le correctif ci-dessus a fonctionné pour moi. J'espère que ça t'as aidé.
J'ai vu la dernière activité "il y a 2 mois", sinon je ne répondrais pas.
Je ne sais pas à quel point c'était difficile auparavant, mais de nos jours, vous pouvez simplement aller au centre de logiciels Ubuntu, section "installé"