Nelle scorse settimane è stato attivato il nuovo servizio realizzato da Gnome con il quale possiamo installare e gestire le estensioni per Gnome Shell direttamente dal nostro Browser.
Sul nuovo sito sono già presenti diverse estensioni le possiamo installare con molta facilità, inoltre possiamo disattivarle direttamente online direttamente dalla sezione dedicata del sito. Se abbiamo diverse estensioni testate ed inutilizzate possiamo rimuoverle per aumentare il nostro spazio della home e avere meno estensioni presenti nella finestra dedicata sia di Gnome Tweak Tool.
Rimuovere le estensioni inutilizzate di Gnome Shell è molto semplice basta avviare il terminale e digitare:
nautilus ~/.local/share/gnome-shell/extensions/
si aprirà il nostro file manager Nautilus con la cartella dove sono state salvate tutte le estensioni installate
Basta rimuovere le cartelle con le estensioni inutilizzate ed il gioco è fatto. Mi raccomando fate attenzione a non rimuovere le cartelle con le estensioni che utilizziamo altrimenti dovremo reinstallarle.
