Impossibile disinstallare Gnome Shell Extension

Gnome Shell 3.18.5 mi ha informato che alcune estensioni dovevano essere aggiornate. Ho visitato https://extensions.gnome.org/local/ da Firefox, ho aggiornato l'estensione di Firefox e ora voglio disinstallare alcune delle estensioni di Gnome, ad esempio la seguente.

Menu unità rimovibile dall'estensione di
sistema fmuellner

Un menu di stato per accedere e smontare i dispositivi rimovibili.

Passando il mouse sull'estensione del sistema , ho letto il seguente suggerimento.

L'estensione di sistema deve essere disinstallata utilizzando Gestione pacchetti. Vedi sulla pagina per i dettagli.

La pagina Informazioni dice:

Che cos'è l' estensione di sistema ? Come disinstallarlo?

L'estensione di sistema è installata in tutto il sistema (di solito / usr / share / gnome-shell / extensions). Tale estensione può essere utilizzata da qualsiasi utente di PC, tuttavia può essere disinstallata solo dall'amministratore di sistema (root). Per disinstallare l'estensione di sistema, utilizzare il gestore pacchetti della distro o chiedere all'amministratore di sistema.

Ho guardato Synaptic ma non vedo questa estensione. Come lo rimuovo?

Queste sono le estensioni che voglio rimuovere.

• Menu Applicazioni
• Indicatore di stato dei luoghi
• Menu unità rimovibile
• Indicatore dell'area di lavoro
• Pomodoro

1. Lanciare gnome-tweak-tool
2. Cerca "Estensioni" nel menu a destra
3. Seleziona l'estensione e fai clic su "Rimuovi"

Poiché i pulsanti di rimozione non sono più disponibili in gnome-shell 3.26, l'unico modo che conosco è l'eliminazione della directory di estensione stessa.

Con Nautilus

1. Apri Nautilus e mostra i file nascosti (premi CTRL+ H).
2. Vai alla cartella principale.
3. Navigare verso .local/share/gnome-shell/extensions
4. Elimina la directory dell'estensione indesiderata.
5. Ricarica gnome-shell. Premere ALT+ F2, digitare re premere ENTER.

Il modo macho

1. Apri la console
2. Vai alla directory delle estensioni: cd ~/.local/share/gnome-shell/extensions
3. Elenca le estensioni e ottieni il nome dell'estensione indesiderata: ls -l
4. Elimina la directory delle estensioni: rm -r extension@author
5. Ricarica gnome-shell. Premere ALT+ F2, digitare re premere ENTER.

Esistono due cartelle per le estensioni di gnome-shell:

1. ~/.local/share/gnome-shell/extensions per lato utente
2. /usr/share/gnome-shell/extensions per lato sistema

Vai al software -> componente aggiuntivo, vedrai lì le tue estensioni, rimuovile.

Michael,

Ho avuto lo stesso problema con le stesse estensioni. Il problema è che sono "estensioni di sistema" e non nella posizione normale di ~/.local/share/gnome-shell/extensionscome altri hanno già detto. Invece, "System Extensions" sono installati in /usr/share/gnome-shell/extensions.

Rimuovere:

cd /usr/share/gnome-shell/extensions
sudo rm -rf apps-menu@gnome-shell-extensions.gcampax.github.com

Ripeti se necessario.

Infine, ti consigliamo di ricaricare la shell: Alt+F2 r

Vai a https://extensions.gnome.org/local . Installa il connettore nativo di Chrome / Firefox per le estensioni GNOME e vedrai le tue estensioni GNOME elencate in quella pagina. Da lì è possibile rimuoverli e configurarli senza eliminare manualmente i file.

è semplice, ha avuto lo stesso problema, usa yum per elencare i pacchetti installati:

sudo yum list installed gnome-shell*

cerca l'estensione particolare nei pacchetti installati e rimuovi:

sudo yum remove <your extension>

Esci e accedi