Comment supprimer complètement une extension de shell gnome?

26

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/?

12.04 gnome gnome-shell gnome-shell-extension MorganSBailey
la source

Réponses:

23

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 entrez restart.

Donc, vous serez bien en supprimant l'extension sous ~/.local/share/gnome-shell/extensionsmanuellement.

Achu
la source
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
2
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
2
@Rahmani si vous avez toujours ce problème: regardez /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.
Steffen Winkler
1
@SteffenWinkler merci, cela fonctionne parfaitement. Je ne savais pas qu'il était installé à l'échelle du système
ismailsunni
11

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.

entrez la description de l'image ici

MorganSBailey
la source
11
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
4

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é.

prasad_myway
la source
1

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é"

Pavlos Theodorou
la source