Vediamo alcune estensioni per GNOME, che ho provato, che rendono meglio utilizzabile questo ambiente desktop (DE).
La versione di Gnome in uso è la 43.6 con sistema grafico Wayland.
Passo 1 – E’ necessario raggiungere il portale web Estensioni GNOME Shell e cercare quella a cui si è interessati.
Passo 2 – Trovata l’estensione è necessario installarla spostando (switchando) la levetta su “OFF”, segue una finestra che richiede la conferma dell’installazione dell’estensione o l’attivazione immediata dell’estensione nel caso in cui sia stata già scaricata in precedenza.
Alcune estensioni che ho installato sono Extension List e Quick Setting Tweaker.
La prima permette di avere una lista di estensioni installate, attivarle/disattivarle cliccando sopra l’estensione stessa o accedere ai setting delle singole estensioni facendo click sulla rotellina a destra dell’estensione stessa.
La seconda estensione permette di avere nel “top panel” l ‘accesso al manager dei setting della Shell extension.
Ecco la finestra dei setting dell’estensione [QSTweak] Quick Setting Tweaker. Comodo vero?
In figura la lista di estensioni che finora ho provato.
Tutte le estensioni installate sono gestibili da “Mostra Applicazioni” >> Estensioni.
In alternativa, se attivato con l’estensione Applications Menu, nella Top bar il menu “Applicazioni”, “Accessori”, “Estensioni”.
