Impossible de désinstaller l'extension Gnome Shell

Gnome Shell 3.18.5 m'a informé que certaines extensions devaient être mises à jour. J'ai visité https://extensions.gnome.org/local/ de Firefox, mis à jour l'extension Firefox, et maintenant je veux désinstaller certaines des extensions Gnome, par exemple la suivante.

Menu du lecteur amovible par l'
extension système fmuellner

Un menu d'état pour accéder et démonter les périphériques amovibles.

En passant la souris sur l' extension système , j'ai lu l'info-bulle suivante.

L'extension système doit être désinstallée à l'aide du gestionnaire de packages. Voir à propos de la page pour plus de détails.

La page À propos indique:

Qu'est-ce que l' extension système ? Comment le désinstaller?

L'extension système est installée à un emplacement à l'échelle du système (généralement / usr / share / gnome-shell / extensions). Cette extension peut être utilisée par n'importe quel utilisateur de PC, mais elle ne peut être désinstallée que par l'administrateur système (root). Pour désinstaller l'extension système, utilisez le gestionnaire de packages de votre distribution ou demandez à votre administrateur système.

J'ai regardé Synaptic mais je ne vois pas cette extension. Comment puis-je le supprimer?

Ce sont les extensions que je souhaite supprimer.

• Menu des applications
• Indicateur d'état des lieux
• Menu du lecteur amovible
• Indicateur d'espace de travail
• Pomodoro

1. lancement gnome-tweak-tool
2. Rechercher "Extensions" dans les menus de droite
3. Sélectionnez l'extension et cliquez sur "Supprimer"

Étant donné que les boutons de suppression ne sont plus disponibles dans gnome-shell 3.26, la seule façon que je connaisse est de supprimer le répertoire d'extension lui-même.

Avec Nautilus

1. Ouvrez Nautilus et affichez les fichiers cachés (appuyez sur CTRL+ H).
2. Accédez à votre dossier personnel.
3. Aller vers .local/share/gnome-shell/extensions
4. Supprimez le répertoire de l'extension indésirable.
5. Rechargez le gnome-shell. Appuyez sur ALT+ F2, tapez ret appuyez sur ENTER.

La voie macho

1. Ouvrez la console.
2. Accédez au répertoire des extensions: cd ~/.local/share/gnome-shell/extensions
3. Répertoriez les extensions et obtenez le nom de l'extension indésirable: ls -l
4. Supprimez le répertoire d'extension: rm -r extension@author
5. Rechargez le gnome-shell. Appuyez sur ALT+ F2, tapez ret appuyez sur ENTER.

Il existe deux dossiers pour les extensions gnome-shell:

1. ~/.local/share/gnome-shell/extensions côté utilisateur
2. /usr/share/gnome-shell/extensions côté système

Allez dans le logiciel -> module complémentaire, vous y verrez vos extensions, il suffit de les supprimer.

Michael,

J'ai eu le même problème avec les mêmes extensions. Le problème est qu'ils sont des "extensions système" et non pas à l'emplacement normal ~/.local/share/gnome-shell/extensionscomme d'autres l'ont dit. À la place, des «extensions système» sont installées dans /usr/share/gnome-shell/extensions.

Ôter:

cd /usr/share/gnome-shell/extensions
sudo rm -rf [email protected]

Répétez autant que nécessaire.

Enfin, vous voudrez recharger le shell: Alt+F2 r

Rendez-vous sur https://extensions.gnome.org/local . Installez le connecteur natif Chrome / Firefox pour les extensions GNOME, puis vous verrez vos extensions GNOME répertoriées sur cette page. De là, vous pouvez les supprimer et les configurer sans supprimer manuellement les fichiers.

c'est simple, eu le même problème, utilisez yum pour lister les packages installés:

sudo yum list installed gnome-shell*

recherchez l'extension particulière dans les packages installés et supprimez:

sudo yum remove <your extension>

Déconnectez-vous et connectez-vous