L'ambiente desktop GNOME gratuito e open source ha estensioni supportate da tempo, che espandono ciò che l'interfaccia può fare. Ma per anni GNOME non ha fatto un ottimo lavoro nell'aiutarti a trovare e installare queste estensioni. Il processo prevedeva l'accesso a un sito Web, l'installazione di un'estensione per Firefox e l'incrocio delle dita.
Ora c'è un'app che elimina tutto il dolore dal processo. Extension Manager semplifica enormemente l'esperienza di scoperta, installazione e gestione delle estensioni GNOME. Questa app può rendere l'utilizzo delle estensioni GNOME un'esperienza gioiosa.
Dove scaricare Extension Manager
Puoi trovare Extension Manager su Flathub. Lì puoi scaricare l'app usando il Installare pulsante o copiare e incollare il comando del terminale.
GNOME Extension Manager è disponibile per la maggior parte delle distribuzioni Linux come Flatpak. Ma se sei nuovo su Linux e stai cercando il modo più semplice per installare un desktop GNOME relativamente stock, potresti volerlo dai un'occhiata a Fedora Linux.
Tieni presente che il tuo sistema dovrebbe supportare Flatpak se desideri installare Extension Manager.
Scaricamento:Responsabile dell'estensione
Ricerca di nuove estensioni
Per vedere quali estensioni sono disponibili, avvia l'app e fai clic su Navigare scheda. Apparirà un elenco di estensioni, con una barra di ricerca in cima all'elenco. Puoi filtrare i risultati per popolarità, numero di download, data di rilascio o nome.
Puoi scaricare solo estensioni che supportano esplicitamente la tua versione di GNOME. Puoi aspettarti che molte estensioni non funzionino nei primi giorni dopo una nuova versione di GNOME, con molte che non fanno mai il salto per supportare l'ultimo aggiornamento. Se ti diletti con le versioni beta di GNOME, puoi aspettarti che la maggior parte delle estensioni non sia disponibile.
Nell'elenco dei risultati, fai clic sul nome di un'estensione che cattura il tuo interesse. Questo ti porterà alla pagina dell'estensione. Lì vedrai uno screenshot, una descrizione, le versioni supportate e le recensioni degli utenti.
L'esperienza è simile all'utilizzo del software GNOME su Linux o un app store su qualsiasi dispositivo mobile.
Per installare un'estensione, fare clic sul blu Installare pulsante. Apparirà un pop-up che ti chiederà di confermare l'installazione dell'estensione. In seguito, l'estensione di solito avrà effetto immediato.
Gestione delle estensioni installate su GNOME
Puoi visualizzare tutte le tue estensioni tornando a Installato scheda. Qui puoi attivare e disattivare le estensioni. Ma questa è solo una parte della storia.
Molte estensioni sono dotate di opzioni di configurazione. In tal caso, accanto all'interruttore di attivazione/disattivazione verrà visualizzato un ingranaggio delle impostazioni. Puoi fare clic su questo ingranaggio per aprire una finestra delle impostazioni.
Se esegui l'aggiornamento a una nuova versione di GNOME, potresti scoprire che molte delle estensioni installate non funzionano più. Se gli sviluppatori non hanno aggiornato l'estensione in modo che funzioni con l'ultima versione, verrà visualizzata un'icona rossa accanto all'ingranaggio delle impostazioni.
Per disinstallare un'estensione, fare clic sul suo nome e quindi toccare il rosso Rimuovere pulsante. Extension Manager disinstallerà e rimuoverà tutti i file associati a quella particolare estensione in pochi secondi.
Un App Store per le estensioni di GNOME?
Ecco come si sente GNOME Extension Manager. Non fa ufficialmente parte del progetto GNOME, ma il software sembra un cittadino di prima classe. Se non sei già interessato alle estensioni di GNOME, questa app potrebbe semplicemente accenderne una.
Non sei sicuro di quali estensioni installare sul tuo desktop GNOME per renderlo tuo? Non preoccuparti, poiché quando si tratta di personalizzazione del desktop, ci sono diverse estensioni GNOME indispensabili che soddisfano allo stesso modo tutti gli utenti.