Non sai come aggiornare le estensioni di GNOME? Non sei solo.
Ho visto un certo numero di persone chiedere come aggiornare le estensioni di GNOME Shell nelle ultime settimane, senza dubbio grazie ai recenti eventi nella terra di Ubuntu che hanno portato più persone a provare GNOME Shell.
La risposta è deliziosamente semplice:aggiorni le estensioni di GNOME dallo stesso sito Web da cui le installi, ovvero extensions.gnome.org .
Questo non è immediatamente evidente.
Era peggio; nelle versioni precedenti di GNOME 3 devi fare di tutto per verificare la presenza di aggiornamenti delle estensioni. Ma il nuovo GNOME Shell Helper necessario per installare le estensioni spesso ti dice quando un'estensione è disponibile.
Ma fare clic sulla notifica non fa nulla.
Di conseguenza, una domanda comune che vediamo porre gli utenti di GNOME è:"come posso aggiornare le estensioni di GNOME?".
Aggiornare le estensioni di GNOME è facile
Per eseguire l'aggiornamento all'ultima versione compatibile di un'estensione GNOME, visitare il sito Web extensions.gnome.org in un browser Web compatibile come Firefox, Google o GNOME Web (Epiphany).
Nella parte superiore del sito Web sono presenti quattro collegamenti:"Estensioni", "Aggiungi le tue", "Estensioni installate" e "Informazioni".
Fare clic su "Estensioni installate opzione ".
Vedrai un elenco delle estensioni GNOME che hai installato sul tuo sistema. Accanto a ciascuno ci sono un paio di pulsanti per abilitarli/disabilitarli, configurarli e rimuoverli.
Le estensioni che hanno un aggiornamento disponibile visualizzeranno una casella verde con una freccia rivolta verso l'alto. Questa icona indica che è disponibile una nuova versione dell'estensione.
Fare clic su questa icona.
Ti verrà chiesto di scaricare e installare l'aggiornamento.
E questo è tutto.