Tra le novità di GNOME 3.14 troviamo anche il nuovo Gnome Shell Extensions Preferences Tool semplice tool grafico per gestire facilmente le 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.
Continua a leggere…
Source: Lffl.org