Internet Radio è un'estensione per Gnome Shell davvero utile e ben fatta. Avere un sottofondo radiofonico è ormai per me un'abitudine in qualsiasi posto mi porti la giornata. Stando al PC capita spesso che non sia disponibile fisicamente una radio e che si finisca immancabilmente per connettersi … [Read more...] about Internet Radio Gnome Shell Extension
gnome-shell-extension
Gnome Shell 3.2 in Debian Testing, via libera a extensions.gnome.org
Era molto che attendevo questo aggiornamento e finalmente oggi è arrivato: In Debian Testing Gnome-Shell passa dalla versione 3.0.2 alla 3.2, e ormai si può dire che il passaggio alla nuova release sia quasi completo. Sebbene fossimo da un pezzo a Gnome 3.2 questo ultimo upgrade era … [Read more...] about Gnome Shell 3.2 in Debian Testing, via libera a extensions.gnome.org