Estensioni Gnome Shell Archivi

Come trasformare GNOME Shell in Windows 10

Chi mi segue sa che non amo particolarmente GNOME Shell nudo e crudo perché lo trovo abbastanza scomodo da utilizzare

Amici lettori di Marco’s Box, oggi parliamo delle estensioni di Gnome 3.Come ben sapete Unity è stato abbandonato da Ubuntu,

Il mio setup di GNOME Shell Unity è morto e Ubuntu, a partire da Ubuntu 17.10, si fonderà con Ubuntu

Per tutti gli amanti di Gnome Shell suggerisco quest’oggi Messaging Menu, una interessante estensione che aggiunge alla shell un indicatore

Cari amici di Marco’s Box, quest’oggi vi voglio segnalare una comoda estensione per GNOME Shell che ci consentirà di usare

Caro GNOME, mi chiamo Marco, forse non ti ricorderai più di me ma una volta ci frequentavamo assiduamente. Sono stato

A sorpresa, un giorno prima del rilascio previsto (si saranno spaventati per l’11/11/11?), è stata reso disponibile Linux Mint 12

Il team di Linux Mint ha deciso finalmente di levare il velo su Linux Mint 12 Lisa, la distro figlia