如何从命令行更新 GNOME Shell 扩展？

Question

有时我会收到消息，告诉我我的 GNOME Shell 扩展之一有更新，将我定向到https://extensions.gnome.org/local/，我可以在那里通过 Web 界面触发更新。

我宁愿从命令行调用更新，类似于调用apt update && apt upgrade. 我怎样才能做到这一点？

Answer 1

这篇 omgubuntu.co.uk 文章的评论列出了两种可能的方式：

1. 在GNOME Shell扩展安装·Github上，一个bash脚本安装和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壳牌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
   

   我无法测试它，但我很确定它是可编写脚本的。

2. 如果你通过克隆他们的 git repos 来安装你的扩展，/path/你可以git pull一个接一个地复制：

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

   之后，您需要使用Alt+F2和r或命令重新加载 GNOME Shell gnome-shell -r。