gnome shell extensions

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 Leggi tutto