Installare widget su Ubuntu

Salve a tutti! Fino a poco tempo fa, sul mio computer, era installato il sistema operativo Linux Mint, che come era stato detto in questo post, è molto personalizzabile, e soprattutto non mancavano i widget.
Dato che tendo a dimenticarmi tutto, uno dei widget che usavo molto erano i post-it per annotarmi molte cose.
Sta di fatto che ho tolto Linux Mint e ho messo Ubuntu, che ahimè non ha preinstallati questi comodissimi componenti. Ma ora vediamo come colmare questa lacuna su questo sistema operativo!

INTRODUZIONE

Cambiare tema su Gnome

Salve a tutti! Nel post di oggi andremo a vedere come cambiare il tema su Gnome, scaricandone un altro, e applicandolo con un tool.

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: