Come ben sappiamo, Gnome Shell permette di aggiungere nuove funzionalità e personalizzazioni all’ambiente desktop tramite estensioni dedicate. Grazie al servizio online, possiamo installare nuove estensioni per Gnome Shell direttamente dal nostro browser; il tutto semplicemente recandoci al portale di Gnome Extensions e cliccando su On e confermando l’installazione delle estensioni.
Una volta installate possiamo disattivarle o rimuoverle sempre attraverso il portale Gnome Extensions alla sezione denominata installed extensions, oppure attraverso Gnome Tweak Tool.
Da oggi possiamo anche gestire le estensioni di Gnome Shell direttamente dalla panoramica delle attività, grazie a Extension List.
Una volta installate possiamo disattivarle o rimuoverle sempre attraverso il portale Gnome Extensions alla sezione denominata installed extensions, oppure attraverso Gnome Tweak Tool.
Da oggi possiamo anche gestire le estensioni di Gnome Shell direttamente dalla panoramica delle attività, grazie a Extension List.
Extension List è una nuova estensione per Gnome Shell che ci permette di disattivare o riattivare le estensioni dalla panoramica delle attività. Una volta installata l’estensione troveremo la nuova sezione oltre a Finestre e Applicazioni denominata Extensions.
Basta accedere alla sezione Extensions per avere l’elenco completo e dettaglio delle estensioni presenti nel nostro sistema, ed attivarle o disattivarle tramite il classico tasto On/Off.
Per installare Extension List su Gnome Shell basta semplicemente collegarci a questa pagina.
Basta accedere alla sezione Extensions per avere l’elenco completo e dettaglio delle estensioni presenti nel nostro sistema, ed attivarle o disattivarle tramite il classico tasto On/Off.
Per installare Extension List su Gnome Shell basta semplicemente collegarci a questa pagina.
