Nel prossimo articolo daremo un'occhiata all'Extension Manager. Questa è un'app non ufficiale consentirà agli utenti di cercare e installare le estensioni della shell GNOME dal desktop. Tutti senza la necessità di utilizzare il browser web, come al solito. L'app è basata su GTK4 e libadwaita ed è disponibile per l'installazione da Flathub.
Oggi, oltre a consentire agli utenti di cercare e installare estensioni che si trovano anche su extensions.gnome.org, questo strumento Ci darà la possibilità di abilitare o disabilitare le estensioni, mostrare un elenco di estensioni installate, accedere alla loro configurazione o disinstallarle. L'app è ancora abbastanza nuova, ha avuto la sua prima versione poco tempo fa, anche se ha già ricevuto un aggiornamento in cui il suo creatore ha aggiunto alcune delle cose richieste dagli utenti.
Come ho detto, per il suo primo importante aggiornamento delle funzionalità, lo strumento aggiunge molte delle funzionalità suggerite dalle persone. Tra le cose che sono state incluse, possiamo trovare un interruttore on/off globale (proprio come lo strumento ufficiale) e una netta separazione tra le estensioni installate dall'utente e le estensioni installate dal sistema (in ordine alfabetico).
Caratteristiche generali di Extension Manager
- L'applicazione ci consentirà cerca le estensioni da extensions.gnome.org.
- da questo software possiamo installare le estensioni, se è necessario utilizzare il browser Web o il connettore.
- Nella schermata del programma, possiamo abilitare e disabilitare le estensioni, oltre a poterle disinstallare.
- In questa ultima versione vengono mostrati gli screenshot delle estensioni.
- Ci permetterà aggiungi traduzioni a la nostra lingua.
- Avremo tema scuro e supporto per sovrascrivere la combinazione di colori del sistema.
- Esegue un controllo di compatibilità della versione della shell.
- Il programma ne ha anche alcuni scorciatoie da tastiera, anche se al momento questi non contribuiscono molto.
- Ci darà la possibilità di ordinare i risultati della ricerca, anche se mostra solo i primi 10 . I filtri per ordinare i risultati della ricerca si basano su popolarità, stato attuale, download o nome. Queste sono le stesse opzioni disponibili sul sito Web principale di GNOME Extensions.
- Ora mostra le estensioni utente e di sistema separatamente.
- Questa nuova versione aggiunge prestazioni e stabilità migliori rispetto alla versione precedente.
- Le estensioni non supportate sono ora contrassegnate nei risultati de busqueda.
- Anche il programma mostra alcuni dettagli delle estensioni che possiamo trovare. Inoltre, ogni estensione include un collegamento alla pagina extensions.gnome.org.
Installa Extension Manager per GNOME Shell su Ubuntu
Il creatore del lo indica usa il pacchetto Flatpak è il modo consigliato per installare Extension Manager. Se usi Ubuntu 20.04 e ancora non hai questa tecnologia abilitata sul tuo sistema, puoi continuare la guida un collega ha scritto su questo blog a riguardo.
Si può installa questa app aprendo un terminale (Ctrl+Alt+T) ed eseguendo il seguente comando al suo interno:
flatpak install flathub com.mattjakeman.ExtensionManager
Dopo l'installazione, a avvia l'applicazione, è solo necessario cercare il launcher sul nostro computer, anche se l'applicazione può essere avviata anche aprendo un terminale (Ctrl+Alt+T) ed eseguendo il comando:
flatpak run com.mattjakeman.ExtensionManager
Extension Manager è stato tradotto in diverse lingue. Predefinito, il programma dovrebbe rispettare la lingua del tuo sistema sin dall'inizio. Tuttavia, potrebbe essere necessario eseguire alcuni passaggi aggiuntivi per fare in modo che Flatpak riconosca la località scelta.
I comandi visualizzati da repository GitHub del progettopotrebbe essere una soluzione a questo problema. Dopo averlo applicato, Extension Manager dovrebbe rispettare la lingua del nostro sistema.
disinstallazione
a rimuovi questa app dal nostro teamTutto quello che devi fare è aprire un terminale (Ctrl + Alt + T) ed eseguire il comando al suo interno:
flatpak uninstall com.mattjakeman.ExtensionManager
Extension Manager è un software open source gratuito e il suo codice sorgente può essere trovato pubblicato su esso Repository GitHub.