Como posso atualizar as extensões do Shell do GNOME na linha de comando?

14

Ocasionalmente, recebo mensagens informando que há uma atualização para uma das minhas extensões de shell do GNOME, direcionando-me para https://extensions.gnome.org/local/, onde posso acionar uma atualização através da interface da web.

Prefiro invocar atualizações na linha de comando, semelhante à chamada apt update && apt upgrade. Como posso fazer isso?

command-line updates gnome-shell-extension

— david.libremone
fonte

Você pode utilizar um crontrabalho para extrair extensões de shell do /etc/shellsarquivo e executar apt-getatualizações para cada valor - apenas uma idéia.

— The Pizza Overlord

1

@ThePizzaOverlord Estes itens não costumam ser empacotados e, quando são, geralmente são substituídos pelas versões fornecidas diretamente pelo Gnome.

— Oli

Veja a edição 906 do gnome-shell para uma solicitação para adicionar este recurso.

— 317 Peterino

9

Os comentários neste artigo do omgubuntu.co.uk listam duas maneiras possíveis:

O instalador de extensões de shell do GNOME · Github , um script bash para instalar e pesquisar extensões em extensions.gnome.org . Instale-o com

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/

Atualize as extensões 23e 42para o GNOME Shell 3.18.4com

ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell

Atualize todas as extensões com

gnome-shell-extension-installer --yes --update --restart-shell

Não pude testá-lo, mas tenho certeza de que é passível de script.

Se você instalou suas extensões clonando seus repositórios git, /path/poderá apenas git pullos repositórios um após um:
```
for i in /path/*; do
  git -C"$i" pull
done
```
Depois disso, você precisa recarregar o GNOME Shell com o comando Alt+ F2e rou gnome-shell -r.

— sobremesa
fonte

0

O script gnomeshell-extension-manage de Nicolas Bernaerts permite instalar e remover extensões do GNOME Shell em todo o sistema e no espaço do usuário.

Veja como você o instalaria:

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

Isso o torna disponível para todos os usuários: (juntamente com comandos similares do 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)

O Gnome Shell - Gerenciamento de extensões do console postagem do blog do explica em detalhes como é usada. Para atualizar uma extensão, você precisa adicionar --version latestao comando.

As duas principais diferenças, tecnicamente falando, para o instalador de extensão de gnome-shell- Ian de Ian Brunelli são que você pode fazer instalações em todo o sistema e usá-lo em wgetvez de curlfazer o download das extensões.

— Peterino
fonte