Come disinstallare le estensioni di Gnome Shell?

Si Sono uno di quelli che sono appena arrivati ​​su Ubuntu e non hanno familiarità con il sistema, questa volta ti mostreremo un modo semplice per rimuovere le estensioni che hanno installato nel tuo ambiente desktop Gnome.

Come ho sempre detto, non a tutti piace a causa dell'uso di Gnome, ma alla fine, questa è l'essenza del software libero e di Linux dove l'utente sceglie ciò che gli piace.

E in ogni caso, per coloro che sono arrivati ​​a Linux che sono arrivati ​​a Ubuntu, hanno scelto il "sapore principale" perché potrebbero non essere a conoscenza degli altri in cui ognuno ha un ambiente desktop diverso.

Per cosa l'utilizzo di Gnome li ha portati a installare estensioni dal proprio browser web e il pacchetto Shell che installa le estensioni tramite il sito Web ufficiale e quindi modifica le estensioni tramite Gnome Tweak Tool.

Ma adesso il motivo per cui sono qui è l'opposto, dal momento che vuole eliminare quelle estensioni che hanno installato solo per testare e non hanno finito per convincerli.

Prima per coloro che ancora non sanno come aggiungere un'estensione gnome ai loro desktop dovrebbero sapere che poiché il supporto del plugin NPAPI è stato rimosso in Firefox, plugin come il plugin GNOME Shell Integration non funzioneranno.

Quindi, per installare le estensioni sul tuo sistema dovranno installare il seguente plugin sul proprio sistema:

sudo apt-get install chrome-gnome-shell

Y nel tuo browser web dovresti cercare il componente aggiuntivo integrazione di gnome-shell che generalmente nel caso di Ubuntu viene già fornito con esso, ma in alcuni casi mi sono imbattuto in Chrome che non lo è.

Una volta completata l'installazione, vai al sito Web delle estensioni di Gnome per iniziare ad aggiungerle al tuo sistema.

Come hai già visto, è abbastanza facile aggiungere estensioni ed è anche molto facile cambiare il loro stato, da abilitato a disabilitato, e viceversa.

Tuttavia, la disabilitazione di un'estensione non la rimuove effettivamente. Allora come si fa a disinstallare le estensioni di Gnome?

Come rimuovere le estensioni di Gnome Shell?

Da un lato, pProbabilmente ti aspetti che uno strumento come Gnome Tweak Tool offra un'opzione programma di disinstallazione tra tutto il suo arsenale che permette di apportare diverse modifiche, ma purtroppo non c'è.

Quindi, forse stai pensando alla cosa più semplice e forse più logica ora, che è sapere in quale "directory contiene le estensioni".

Sebbene Quest'ultima opzione può essere effettuata seguendo il seguente percorso:

~/.local/share/gnome-shell/extensions

Dove troverai le directory di ogni estensione, qui puoi eliminare tutte quelle che desideri. Non è raccomandato poiché l'errore del dito può costarti molto.

Sfortunatamente la risposta non è in nessuna delle precedenti, poiché il modo per eliminarlo dal tuo sistema è dall'interfaccia web di cui sopra.

Dove puoi installare e disinstallare le estensioni tramite il sito web di Gnome. L'estensione del browser consente loro di manipolare il file system e ciò significa aggiungere e rimuovere contenuti.

Nella pagina delle estensioni di Gnome, fai clic sulle estensioni installate. O possono semplicemente navigare al seguente collegamento. 

Questo mostrerà tutte le estensioni installate che si trovano sul tuo sistema, dove saranno sia abilitate che disabilitate.

qui Nell'interfaccia web dovremo solo fare clic sul pulsante X per eliminare quello in particolare.

Le estensioni in uso potrebbero non mostrare il pulsante di disinstallazione, quindi per rimuovere le estensioni desiderate, devono prima disabilitarle per rimuoverle.

Dovrebbero essere cauti qui poiché non riceveranno alcun avviso che se desiderano rimuovere l'estensione, verrà semplicemente rimossa.

Come puoi vedere, l'installazione e la disinstallazione delle estensioni di Gnome vengono eseguite dalla stessa interfaccia, quindi tutto il controllo viene eseguito dall'interfaccia web.

E beh questo è tutto, il consiglio che posso darti è di non abusare così tanto delle estensioni di Gnome poiché all'inizio la tua RAM ti ringrazierà.