GNOME 3.14 approda il nuovo gestore grafico delle estensioni

Tra le tante caratteristiche incluse nel desktop environment Gnome Shell troviamo la possibilità di aggiungere funzionalità e personalizzazioni tramite estensioni di terze parti. Basta collegarci al portale Gnome Shell Extensions ed installare facilmente le estensioni preferite, sempre dal portale possiamo gestire anche le estensioni, rimuovendole oppure accedendo alle varie preferenze. Di default non è possibile operare sulle estensioni a meno che non installiamo Gnome Tweak Tool, questo almeno fino a Gnome 3.14, versione nella quale troveremo di default il nuovo Gnome Shell Extensions Preferences Tool. Gnome Shell Extensions Preferences Tool è un nuovo gestore delle estensioni per Gnome Shell che ci consentirà di poterle attivare o disattivare oppure accedere alle varie preferenze attraverso una semplice ed intuitiva interfaccia grafica.

Di default in GNOME 3.14, il nuovo Gnome Shell Extensions Preferences Tool ci consentirà quindi di poter operare nelle estensioni, evitando cosi di installare Gnome Tweak Tool oppure di avere una connessione internet attiva per poter accedere alla sezione dedicata del portale Gnome.

Il tool Gnome Shell Extensions Preferences Tool è un progetto ancora in fase di sviluppo, in data odierna manca ancora un collegamento da Menu (per avviarlo dobbiamo utilizzare la funzione “Esegui” da ALT+F2 oppure avviarlo da terminale) e non consente la rimozione delle estensioni ma solo l’attivazione / disattivazione e l’accesso alle varie preferenze.

Da notare la nuova UI delle preferenze delle estensioni, i developer stanno lavorando per migliorarne l’accesso attraverso proprio il nuovo gestore delle estensioni che consentirà in futuro anche l’aggiornamento e altre operazioni.

In futuro Gnome Shell Extensions Preferences Tool potrebbe includere anche la possibilità di effettuare ricerche ed installare le estensioni senza dover accedere al browser (è un’ipotesi nulla di confermato), funzionalità molto simile ad esempio in browser come Mozilla Firefox oppure i tool di personalizzazione in KDE.

Per avviare Gnome Shell Extensions Preferences Tool basta cliccare su ALT+F2 e digitare:

gnome-shell-extension-prefs

e avremo avviato il nuovo gestore delle estensioni di GNOME.