L’arrivo di Gnome Shell ha fatto un po arrabbiare molti utenti vista la mancanza di personalizzazione del nuovo ambiente desktop. Per fortuna immediatamente al rilascio è arrivato anche Gnome Tweak Tool un’applicazione con la quale possiamo personalizzare il nostro Gnome Shell gestendone i temi, le icone, font, estensioni e molto altro.
Molto usata dagli utenti grazie ad una semplice estensione possiamo avviare con molta facilità Gnome Tweak Tool direttamente dall’User Menu.
Advanced Settings in UserMenu è una semplice estensione per Gnome Shell la quale aggiunge nel nostro User Menu il collegamento per avviare Gnome Tweak Tool proprio come le Impostazioni di Sistema. Una volta installato troveremo sotto Impostazioni di Sistema la dicitura Advanced Settings con la quale possiamo avviare Gnome Tweak Tool.
Per installare Advanced Settings in UserMenu basta semplicemente collegarci in questa pagina e cliccare su On e confermare.
Per disattivare o rimuovere l’estensione basta collegarci dal nostro browser in questa pagina.
