Ad Menu

Gnome-Shell Extensions Updater

Gnome-Shell Extensions Updater:
Con Gnome-Shell Extensions Updater, è possibile aggiornare tutte le estensioni che sono state installate nel sistema attraverso il sito extensions.gnome.org con un solo click.
Questa estensione controlla ogni 5 giorni le estensioni installate e visualizza un messaggio di notifica nel pannello di GNOME-Shell con tutti gli aggiornamenti disponibili.
Per installare gli aggiornamenti, è sufficiente fare clic su "Aggiorna tutti" e tutte le estensioni verranno aggiornate automaticamente.
Nota:GNOME Shell Extension Updater non è disponibile sul sito web ufficiale di Gnome-Shell Extensions.


Installazione:
Aprire il terminale e digitare:

sudo apt-get install git-core

cd /tmp

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

cd gnome-shell-extension-updater

./install.sh

Una volta installato, riavviate Gnome Shell e attivare l'estensione utilizzando "Gnome Tweak Tool".
Per modificare l'intervallo di controllo degli aggiornamenti, è possibile modificare il file di configurazione con:


sudo gedit ~/.local/share/gnome-shell/extensions/updater@patapon.info/extension.js

e cambiare il valore assegnato alla voce "UPDATE_INTERVAL" con quello che si desidera.
Fonte: Qui.
Homepage: Qui.
Questo è tutto;)

Share/Bookmark
Stampa il Post - Print this Post

Comments :

0 commenti to “ Gnome-Shell Extensions Updater ”
Related Posts with Thumbnails