Cookie

TheJoe.it Into the (open) source

29giu/140

5 estensioni di GNOME Shell che ti faciliteranno la vita

GNOME

Dopo tutta la latitanza dal blog, un titolo altisonante ad ampio richiamo è proprio quello che ci vuole. Non ho voluto sparare troppo in alto, così ho optato per "faciliteranno" anziché "cambieranno". Anche perché c'è poco da cambiare, no?

Oggi vediamo come velocizzare alcune operazioni usando le estensioni di Gnome Shell. Ma prima una precisazione per chi non sa bene cosa sia Gnome o la Gnome Shell.

A differenza di altri sistemi operativi, in GNU/Linux il back-end e l'interfaccia grafica sono due cose separate. Un computer che monta Linux può e deve funzionare anche senza interfaccia