Як я можу оновити розширення оболонки GNOME з командного рядка?

14

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

Я б скоріше викликав оновлення з командного рядка, подібно до виклику apt update && apt upgrade. Як я можу це зробити?

command-line updates gnome-shell-extension

— david.libremone
джерело

Ви можете використовувати cronзавдання, щоб витягнути розширення оболонки з /etc/shellsфайлу та запустити apt-getоновлення для кожного значення - лише одна ідея.

— The Pizza Overlord

1

@ThePizzaOverlord Вони, як правило, не пакують речі, і коли вони є, їх часто витісняють версії, що надаються безпосередньо Gnome.

— Олі

Див. Проблему gnome-shell №906 для запиту на додавання цієї функції.

— Петерино

10

У коментарях до цієї статті omgubuntu.co.uk перелічено два можливі способи:

Розширення GNOME Shell Installer · 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та 42GNOME 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
```
Я не міг його перевірити, але я впевнений, що це сценарій.
Якщо ви встановили свої розширення, клонувавши їхні git repos, /path/ви можете просто git pullрепост один за одним:
```
for i in /path/*; do
  git -C"$i" pull
done
```
Після цього вам потрібно перезавантажити оболонку GNOME за допомогою або Alt+ F2та rабо команди gnome-shell -r.

— десерт
джерело

0

Gnomeshell-розгинання управління сценарієм Ніколя Бернаертс дозволяє встановлювати і видаляти розширення 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-shell-shell-shell-extension-installer Ian Brunelli є те, що ви можете робити встановлення на загальну систему і що це використовується wgetзамість curlзавантаження розширень.

— Петерино
джерело

Якщо ви працюєте gnome-shell-extension-installяк sudo, він встановиться на всій системі.

— eduncan911