Gnome Shell Extensions Updater aggiorna tutte le estensioni automaticamente

Novità per chi usa Gnome 3 (Gnome Shell): avevo scritto pochi giorni fa che le eventuali estensioni installate andavano aggiornate manualmente. È ora disponibile Gnome Shell Extensions Updater, che controlla ogni 5 giorni se ci sono degli aggiornamenti e consente di installarli con un unico clic.

Gnome Shell Extensions Updater è disponibile sul sito di Gnome Extensions, ma è installabile anche tramite GIT. In Ubuntu, ad esempio, occorre prima installare quest’ultimo, con il comando:

sudo apt-get install git-core

dopodiché si può installare il nuovo pacchetto con:

cd git clone git://github.com/eonpatapon/gnome-shell-extension-updater.git
cd gnome-shell-extension-updater
./install.sh

Via GNOME Shell Extensions Updater ~ Web Upd8: Ubuntu / Linux blog.

Hai trovato interessante questo articolo? Puoi iscriverti ai feed o ricevere i prossimi articoli per email.

Un pensiero su “Gnome Shell Extensions Updater aggiorna tutte le estensioni automaticamente”

Rispondi