☰

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

tag-icon • tag-icon command-line updates gnome-shell-extension
如何从命令行更新 GNOME Shell 扩展？

有时我会收到消息，告诉我我的某个 GNOME Shell 扩展有更新，并指导我https://extensions.gnome.org/local/我可以通过网络界面触发更新。

我宁愿从命令行调用更新，类似于调用apt update && apt upgrade。我该怎么做？

答案1

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

  1. 这GNOME Shell 扩展安装程序 · Github， Abash 脚本用于从 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/

使用以下工具更新GNOME Shell 的扩展23和423.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

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

  1. 如果你通过克隆 git repos 来安装扩展，那么/path/你可以git pull一个接一个的仓库：

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

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

答案2

这gnomeshell 扩展管理Nicolas Bernaerts 编写的脚本允许在系统范围和用户空间中安装和删除 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到命令中。

从技术上讲，与 Ian Brunelli 的gnome-shell-扩展安装程序您可以进行系统范围的安装，并且使用它来wget下载curl扩展。

相关内容