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

Respostas:

9

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

  1. 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.

  2. 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