Estensioni di Gnome: La top 10

Tutti mi chiedono: ma quale è, secondo te, il migliore DE? E io rispondo sempre e solo: Gnome!
Oggi vedremmo la mia top 10 delle estensioni per Gnome.

A parere mio, il vero asso nella manica di questo DE è la possibilità applicargli delle estensioni con un semplice click del mouse. In un post precedente ci siamo occupati di come aggiornare Gnome alla tanto applaudita versione 12. In questo articolo cerco di elencare le 10 migliori estensioni che, secondo me, non possono proprio mancare.

Installiamo Gnome 12 e personalizziamolo in poche mosse

In questo articolo ci occuperemo di installare (aggiornare) Gnome 3.12 e di come personalizzarlo per adattarlo alle nostre esigenze.
 

 

INSTALLIAMO GNOME 3.12
Per prima cosa aggiorniamo Gnome alla versione 12. Cominciamo aggiungendo il repository ufficiale per la nuova versione del nostro DE. Apriamo il terminale e digitiamo: