Come ricevere notifiche sugli aggiornamenti per le estensioni della shell di Gnome

Come ricevere notifiche sugli aggiornamenti per le estensioni della shell di Gnome

⌛ Reading Time: 3 minutes

La cosa buona (e probabilmente la migliore) di Gnome Shell è che puoi facilmente estendere le sue funzionalità con estensioni, e ti abbiamo già mostrato alcune delle migliori in un precedente articolo. Ciò che non è immediatamente ovvio è come aggiornare effettivamente le estensioni installate e come ricevere una notifica quando ci sono aggiornamenti.

Se installi estensioni tramite il gestore di pacchetti delle tue distribuzioni, gli aggiornamenti verranno trasmessi quando aggiorni il sistema. Tuttavia, per coloro che installano estensioni tramite il sito Web GNOME Extensions, non esiste un modo integrato per ricevere una notifica quando sono disponibili aggiornamenti per le estensioni installate.

Questo problema viene risolto installando un’altra estensione, Notificatore aggiornamento estensione, che ti informa semplicemente quando è disponibile un aggiornamento per una qualsiasi delle estensioni installate.

Dopo averlo installato, puoi personalizzare la frequenza con cui deve controllare gli aggiornamenti avviando le impostazioni dallo strumento di modifica di GNOME.

update-gnome-extension-2

Per aggiornare effettivamente un’estensione, visita il Sito Web di estensione GNOME in un browser compatibile, come Firefox o GNOME Web (Epiphany), e fai clic su “Estensioni installate” nella barra di navigazione in alto.

update-gnome-extension-3

Vedrai un elenco di tutte le estensioni che hai installato sul tuo computer e le opzioni per abilitarle, disabilitarle, configurarle o rimuoverle accanto a ciascuna di esse.

Se sono disponibili aggiornamenti per un’estensione, accanto ad essa sarà visualizzato un pulsante verde. Fare clic su questo pulsante.

update-gnome-extension-4

Infine, fai clic su “installa” per scaricare e installare l’aggiornamento.

update-gnome-extension-5

Incartare

Questo è tutto ciò che c’è da fare per aggiornare le estensioni della shell GNOME. Mi sarebbe piaciuto un modo più intuitivo per aggiornare tutte le estensioni con un clic, ad esempio tramite GNOME Software Center, ma al momento non esiste.

Se conosci un modo migliore per aggiornare le estensioni GNOME, faccelo sapere nella sezione commenti qui sotto.