
Come ben sappiamo, Gnome Shell permette di aggiungere nuove funzionalità e personalizzazioni all'ambiente desktop tramite estensioni dedicate. Grazie al servizio online, possiamo installare nuove estensioni per Gnome Shell direttamente dal nostro browser; il tutto semplicemente recandoci al portale di Gnome Extensions e cliccando su On e confermando l'installazione delle estensioni.
Una volta installate possiamo disattivarle...
Leggi il seguito »









