Como posso atualizar as extensões do Shell do GNOME a partir da linha de comando?

Question

Ocasionalmente, recebo mensagens informando que há uma atualização para uma das extensões do meu GNOME Shell, direcionando-me para o link onde eu pode acionar uma atualização por meio da interface da Web.

Eu prefiro invocar atualizações da linha de comando, semelhante a chamar apt update && apt upgrade . Como posso fazer isso?

    

Answer 1

Os comentários em este artigo omgubuntu.co.uk list duas maneiras possíveis:

1. O Instalador da Extensão do GNOME Shell · Github , um script bash para instalar e pesquisar extensões from 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 23 e 42 para o shell GNOME 3.18.4 com

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

   Eu não pude testá-lo, mas tenho certeza de que ele é programável.

2. Se você instalou suas extensões clonando seus git repos para /path/ , é possível git pull executar as reposições uma após a outra:

   for i in /path/*; do
     git -C"$i" pull
   done
   

   Depois disso, você precisa recarregar o Shell GNOME com Alt + F2 e r ou o comando gnome-shell -r .