Как я могу обновить GNOME расширения Shell из командной строки?

Question 1

Occassionally, который я получаю сообщения, говоря мне, существует обновление для одного из моих расширений Shell GNOME, направляя меня к https://extensions.gnome.org/local/, где я могу инициировать обновление через веб-интерфейс.

Я вызвал бы обновления из командной строки, подобной вызову apt update && apt upgrade. Как я могу сделать это?

Question 2

Комментарии к этой omgubuntu.co.uk статье перечисляют два возможных пути:

Установщик Расширения Shell GNOME · GitHub, сценарий удара, чтобы установить и искать расширения из extensions.gnome.org. Установите его с
```
wget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/
```
Обновите расширения 23 и 42 для GNOME Shell 3.18.4 с
```
ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell
```
Обновите все расширения с
```
gnome-shell-extension-installer --yes --update --restart-shell
```
Я не мог протестировать его, но я вполне уверен, это scriptable.
Если Вы установили свои расширения путем клонирования их мерзавца repos к /path/ Вы можете просто git pull repos один после один:
```
for i in /path/*; do
  git -C"$i" pull
done
```
После этого необходимо перезагрузить GNOME Shell с любым Alt+F2 и r или команда gnome-shell -r.

Question 3

Question 4

Gnomeshell-extension-manage сценарий Nicolas Bernaerts позволяет устанавливать и удалять GNOME расширения Shell и в масштабе всей системы и в пространстве пользователя.

Вот то, как Вы установили бы его:

wget https://raw.githubusercontent.com/NicolasBernaerts/ubuntu-scripts/master/ubuntugnome/gnomeshell-extension-manage
chmod 755 gnomeshell-extension-manage
sudo mv -iv gnomeshell-extension-manage /usr/local/bin/gnome-shell-extension-manage

Это делает это доступным для каждого пользователя: (вместе с подобными командами GNOME)

$ gnome-shell-extension-manage 
Install/remove extension from Gnome Shell Extensions site https://extensions.gnome.org/
Extension ID should be retrieved from https://extensions.gnome.org/extension/<ID>/extension-name/
Version installed will be targeted as the same as Gnome Shell or the next available one
Parameters are :
  --install               Install extension (default)
  --remove                Remove extension
  --user                  Installation/remove in user mode (default)
  --system                Installation/remove in system mode
  --version <version>     Force Gnome version (use 'latest' to force latest one)
  --extension-id <id>     Extension ID in Gnome Shell Extension site (compulsory)

Gnome Shell - управление Расширениями от консольного сообщения в блоге объясняет подробно, как это используется. Для обновления расширения необходимо добавить --version latest к команде.

Эти два основных отличий, с технической точки зрения, к gnome-shell-extension-installer Ian Brunelli - то, что можно сделать установки в масштабе всей системы и что он использует wget вместо curl загружать расширения.

dessert · Answer 1 · 23 November 2019 в 03:43