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 commento su “Gnome Shell Extensions Updater aggiorna tutte le estensioni automaticamente”

Rispondi

This site uses Akismet to reduce spam. Learn how your comment data is processed.