Extension Manager: come installare le GNOME Extension senza browser!
Extension Manager è una nuova applicazione che permette di sfogliare e installare le estensioni di GNOME Shell dal desktop, senza dunque dover ricorrere ad un browser.
Come mai non ve ne ho parlato prima? La domanda potrebbe sorgere spontanea.
La verità è che l’app è del tutto nuova, la release 0.1.0 risale ai primi di gennaio di quest’anno. L’ho utilizzata per qualche settimana e ho aspettato a parlarvene in attesa della correzione di qualche problemino di gioventù da parte degli sviluppatori. Ora siamo giunti alla versione 0.2.2 (che è disponibile da qualche giorno) e sono stati fatti diversi passi in avanti😇.
Extension Manager
Oltre a consentire agli utenti di cercare e installare le estensioni scaricandole da extensions.gnome.org, questo tool offre anche altre funzionalità. Vi mostra l’elenco delle estensioni installate, vedi immagine in copertina, e vi permette di abilitarle, disabilitarle o di accedere alle loro impostazioni e preferenze. Non manca la possibilità di disinstallare le estensioni. Cercando un’app viene visualizzato uno screenshot e una breve descrizione.
Cliccando su ‘Installa’ potete avviare l’installazione automatica:
L’app manca ancora di diverse funzionalità importanti.
Ad esempio, non supporta l’aggiornamento di estensioni o traduzioni. Inoltre, quando si esegue una ricerca vengono visualizzati solo i primi risultati e non c’è alcuna opzione per ordinarli (ad esempio per popolarità, app più recente, etc) come invece avviene sul sito Web di GNOME Extensions.
Tuttavia, anche senza alcune funzionalità, Extensions Manager è un’ottima alternativa per gestire le estensioni di GNOME Shell.
Torna molto utile soprattutto considerando che alcune distribuzioni (vedi Ubuntu) stanno iniziando a pre-installare le app in formato Snap o Flatpak, compresi i browser. Purtroppo, un browser (come Chromium o Firefox) installato in formato Flatpak o Snap non può essere utilizzato per installare le estensioni di GNOME Shell dal sito Web ufficiale.
Download
Extension Manager è rilasciato sotto licenza GPL-3.0.
Potete installarlo da Flathub:
flatpak install flathub com.mattjakeman.ExtensionManager flatpak run com.mattjakeman.ExtensionManager
In alternativa potete scaricare il codice sorgente dalla pagina Github ufficiale.
Se siete su Arch lo trovate in AUR.
Seguiteci sul nostro canale Telegram, sulla nostra pagina Facebook e su Google News. Nel campo qui sotto è possibile commentare e creare spunti di discussione inerenti le tematiche trattate sul blog.
Fonte: https://www.lffl.org/2022/02/extension-manager-gnome-extension-senza-browser.html
Se vuoi sostenerci, puoi farlo acquistando qualsiasi cosa dai diversi link di affiliazione che abbiamo nel nostro sito o partendo da qui oppure alcune di queste distribuzioni GNU/Linux che sono disponibili sul nostro negozio online, quelle mancanti possono essere comunque richieste, e su cui trovi anche PC, NAS e il ns ServerOne. Se ti senti generoso, puoi anche donarmi solo 1€ o più se vuoi con PayPal e aiutarmi a continuare a pubblicare più contenuti come questo. Grazie!
Hai dubbi o problemi? Ti aiutiamo noi!
Se vuoi rimanere sempre aggiornato, iscriviti al nostro canale Telegram.Se vuoi ricevere supporto per qualsiasi dubbio o problema, iscriviti alla nostra community Facebook o gruppo Telegram.
Cosa ne pensi? Fateci sapere i vostri pensieri nei commenti qui sotto.
Ti piace quello che leggi? Per favore condividilo con gli altri.
![[Guida] Raspberry Pi: come trasformare una stampante in stampante wireless](https://www.lffl.org/wp-content/uploads/2021/01/raspberry-cups-start.png "[Guida] Raspberry Pi: come trasformare una stampante in stampante wireless 5")
