Come ben sapete Unity è stato abbandonato da Ubuntu, in favore di Gnome. Subito dopo l’annuncio la community si è buttata sul DE in GTK per iniziare i primi esperimenti per portare l’esperienza utente il più simile possibile a quella proposta dal DE nato in Canonical.
Questo è possibile grazie ad una caratteristica secondo me fondamentale in GNOME 3, ovvero la possibilità di estendere le funzionalità dell’ambiente grazie all'extensions.
Gnome Tweak Tool e Extensions.Gnome.org
Il tutto è possibile sia grazie sia all'utilizzo di gnome-tweak-tool col quale possiamo apportare modifiche avanzate all'ambiente sia al sito delle Extensions che ospita tutte le estensioni per il DE ( non tutte ovviamente compatibili con tutte le versione di Gnome). Recentemente poi in Chrome trovate il plugin che verifica lo stato delle vostre extensions permettendone la gestione e l’installazione, quest’ultima era oltretutto prerogativa di Firefox. Se avete Chrome aggiornato, dovreste trovare il plugin automaticamente installato e attivo.
E poi aggiornavi...
Capitava in passato tuttavia che l’aggiornamento del core di Gnome portasse a problemi con le estensioni che magari smettevano di funzionare, una cosa che nelle ultime versioni sembra andare decisamente migliorando.
Le vostre estensioni preferite
Chiuso questa breve presentazione dell’argomento, utile magari a chi non conosce perfettamente l’ambiente o è alle prime prove con Gnome, vi chiedo: Quali sono le vostre estensioni preferite? Avete mai avuto problemi con il loro aggiornamento o di conflitti tra loro? Aspetto la vostra esperienza nei commenti!
