Иногда я получаю сообщения о том, что есть обновление для одного из моих расширений GNOME Shell, и направляет меня на https://extensions.gnome.org/local/, где я могу запустить обновление через веб-интерфейс.
Я бы предпочел вызывать обновления из командной строки, аналогично вызову apt update && apt upgrade
. Как я могу это сделать?
command-line
updates
gnome-shell-extension
david.libremone
источник
источник
cron
задание для извлечения расширений оболочки из/etc/shells
файла и запускаapt-get
обновлений для каждого значения - только одна идея.Ответы:
Комментарии к этой статье omgubuntu.co.uk содержат два возможных пути:
Расширение GNOME Shell Installer · Github , Баш скрипт для установки и поиск расширений из extensions.gnome.org . Установите его с
Обновите расширения
23
и42
для GNOME Shell3.18.4
с помощьюОбновите все расширения с
Я не мог проверить это, но я почти уверен, что это можно написать.
Если вы установили свои расширения путем клонирования их репозиториев git,
/path/
вы можете просто делатьgit pull
репозитории один за другим:После этого необходимо перезагрузить GNOME Shell или с Alt+ F2и
r
или командыgnome-shell -r
.источник
Сценарий gnomeshell-extension-manage от Николаса Бернаертса позволяет устанавливать и удалять расширения GNOME Shell как в масштабе всей системы, так и в пространстве пользователя.
Вот как бы вы его установили:
Это делает его доступным для каждого пользователя: (наряду с аналогичными командами GNOME)
Gnome Shell - Управление расширений из консоли блоге подробно объясняет , как она используется. Для обновления расширения необходимо добавить
--version latest
в команду.Технически говоря, два основных отличия от gnome-shell-extension-installer Яна Брунелли заключаются в том, что вы можете выполнять общесистемные установки и использовать их
wget
вместоcurl
загрузки расширений.источник
gnome-shell-extension-install
какsudo
, он установит всю систему.