Nel precedente articolo ho parlato di Gnome-shell, di come installarlo e di come personalizzarlo con le estensioni, purtroppo le estensioni non si aggiornano automaticamente e ci sono due modi per aggiornarle:
- Gnome-shell Extensions Updater: è un'estensione che controlla la disponibilità degli aggiornamenti e ti avverte quando sono disponibili permettendoti di installarli
- Aggiornamento tramite il sito https://extensions.gnome.org/local/
Gnome-Shell Extensions Updater
Come ho detto prima, questa estensione controlla in automatico ogni 5 giorni gli aggiornamenti delle estensioni e permette di installarli tramite una finestrella che appare quando sono disponibili.
L'estensione non è presente sul sito ufficiale e va installata manualmente in questo modo:
Prima di tutto installiamo alcuni pacchetti necessari:
sudo apt-get install automake gnome-common gettext git-coree ora installiamo l'estensione:
git clone git://github.com/eonpatapon/gnome-shell-extension-updater.git
cd gnome-shell-extension-updater
./autogen.sh
make
make install-zipIn questo modo avete installato Gnome-Shell Extensions Updater, riavviate il computer e all'accensione potrete attivarla con Gnome Tweak Tool :)
Aggiornamento tramite il sito
C'è anche un altro metodo per aggiornare le estensioni di Gnome-shell, non lo fa in automatico ma saremo noi a controllare con il vantaggio che sarà molto più semplice rispetto al metodo precedente.
Possiamo controllare gli aggiornamenti delle estensioni visitando questo sito: https://extensions.gnome.org/local/
Vedremo tutte le estensioni installate con alla sinistra un bottone blu per le impostazioni e nel caso di un aggiornamento disponibile vedremo anche un bottone verde come quelli nell'immagine sottostante circondati in rosso
Cliccando sul bottone verde potremo aggiornare l'estensione :)
Alla prossima! ;)
Nessun commento:
Posta un commento