Gnome 3: Quali sono le vostre extensions preferite?

Amici lettori di Marco’s Box, oggi parliamo delle estensioni di Gnome 3.
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!