С помощью GNOME Shell Extensions Updater, вы можете обновлять все расширения, установленные через extensions.gnome.org одним кликом. Расширение проверяет расширения на обновления каждые пять дней и отображает уведомление в трее сообщений Gnome Shell со всеми доступными обновлениями:
Чтобы установить обновления, просто кликните «Update all», и все расширения должны быть автоматически обновлены:
GNOME Shell Extension Updater недоступен на сайте расширений GNOME Shell, но вы можете легко установить его, используя команды ниже. Для начала установите GIT — в Ubuntu, используйте следующую команду:
sudo apt-get install git-core
Затем, чтобы установить GNOME Shell Extension Updater на любой Linux-дистрибутив с GNOME Shell 3.4 или 3.2, выполните следующие команды в терминале:
cd
git clone git://github.com/eonpatapon/gnome-shell-extension-updater.git
cd gnome-shell-extension-updater
./install.sh
После установки перезапустите GNOME Shell и активируйте расширение, используя GNOME Tweak Tool.
Пока что нет никаких настроек для изменения интервала проверки обновлений, но, если это действительно вам нужно, вы можете отредактировать файл ~/.local/share/gnome-shell/extensions/ Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. /extension.js и изменить значение «UPDATE_INTERVAL» на то, что больше подходит вам.