domenica 23 settembre 2012

Aggiornare le estensioni di Gnome-Shell


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-core
e 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-zip
In 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