Sto eseguendo gnome-shell 3.4.1 sotto Ubuntu 12.04. Ho provato varie estensioni da http://extensions.gnome.org e ora voglio rimuoverne completamente alcune, soprattutto perché non occupano spazio in Gnome Tweak Tool.
È sicuro eliminare la cartella delle estensioni in ~/.local/share/gnome-shell/extensions/?
Come rimuovere completamente un'estensione della shell gnome?
Risposte:
Dalla pagina della shell di Gnome Dice:
Ci sono alcuni bug
GNOME 3.2che impediscono il corretto funzionamento della disinstallazione per alcune estensioni. GNOME Shell 3.2.2.1 ha risolto questi problemi. Assicurati che il tuo sistema sia completamente aggiornato se riscontri problemi con la disinstallazione delle estensioni.Se non si dispone di GNOME Shell 3.2.2.1 e potrebbe non essere possibile ottenerlo o non si è sicuri, è possibile disinstallare l'estensione manualmente. Rimuovere la directory dell'estensione, quindi riavviare Shell. L'estensione deve essere archiviata sotto
~/.local/share/gnome-shell/extensions. Rimuovere la directory non sarà sufficiente: dovrai riavviare Shell per assicurarti che l'estensione sia completamente disinstallata: apri la finestra di dialogo Esegui con Alt + F2 e inseriscirestart.
Quindi, starai bene rimuovendo l'estensione sotto ~/.local/share/gnome-shell/extensionsmanualmente.
3
Ciò sembra suggerire che esiste un certo processo di disinstallazione nelle versioni successive alla 3.2.2.1 (oltre all'eliminazione manuale della cartella e al riavvio), che tuttavia non è specificato. Comunque grazie.
—
MorganSBailey,
Ho rimosso la cartella di alcune estensioni, ma alcune tornano dopo il riavvio !!! (ad esempio menu dell'applicazione, AlternateTab e così via)
—
Rahmani,
@Rahmani se hai ancora quel problema: guarda
—
Steffen Winkler,
/usr/share/gnome-shell/extensions/. Apparentemente alcune estensioni sono installate a livello di sistema e almeno nel mio caso non sono rimovibili dal sito web.
@SteffenWinkler grazie, funziona perfettamente. Non sapevo che fosse installato a livello di sistema
—
ismailsunni il
OK, l'ho trovato. In https://extensions.gnome.org , naviga sotto Installed extensions, dove è presente un pulsante X accanto a ciascuna estensione che lo disinstalla. Come menzionato nella risposta precedente, funziona solo dopo la versione 3.2.2.1.
Questo non funziona sempre ...
—
Wilf
Disinstallo l'estensione da questa pagina, ma alcuni tornano dopo il riavvio !!! (ad esempio menu dell'applicazione, AlternateTab e così via)
—
Rahmani,
@Rahmani - Quelle sono entrambe estensioni di fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Ho scaricato l'estensione User Settings e ho aggiunto un sacco di altre sue estensioni. Ora non posso eliminare nessuno di essi.
—
Guttermonk,
Le estensioni del modulo 'fmuellner' sembrano essere memorizzate in una directory "/ usr / share / gnome-shell / extensions /" e altre estensioni vengono memorizzate in una directory "~ / .local / share / gnome-shell / extensions". Anch'io ho avuto questo problema prima. Ho risolto eliminando queste directory e riavviando il computer. Non è possibile eliminarli dal browser dei file o da Explorer. Pertanto, per eliminarle sono necessarie autorizzazioni per superutente. Utilizzare il seguente comando nel terminale.
$ sudo rm -r /usr/share/gnome-shell/extensions/
$ sudo rm -r ~/.local/share/gnome-shell/extensions/
e quindi per riavviare il computer dalla GUI o è possibile utilizzare
$ sudo init 6
Attento a non eliminare altre directory per errore. La correzione di cui sopra ha funzionato per me. Spero che sia d'aiuto.
Ho visto l'ultima attività "2 mesi fa", altrimenti non risponderei.
Non so quanto sia stato difficile prima, ma oggi puoi semplicemente andare al centro software Ubuntu, sezione "installata"