コマンドラインからGNOME Shell拡張機能を更新するにはどうすればよいですか？

時々、GNOME Shell拡張機能の1つに更新があることを通知するメッセージが表示され、https：//extensions.gnome.org/local/に移動して、Webインターフェースから更新をトリガーできます。

を呼び出すのと同じように、コマンドラインから更新を呼び出しますapt update && apt upgrade。これどうやってするの？

このomgubuntu.co.uk記事へのコメントには、 2つの可能な方法がリストされています。

1. GNOMEシェル拡張インストーラ・Githubに、extensions.gnome.orgから拡張機能をインストールし、検索するためのbashスクリプト。でインストール

   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し、42GNOMEシェルのために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リポジトリのクローンを作成して拡張機能をインストールした場合、リポジトリを1つずつ作成/path/できますgit pull。

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

   その後、あなたはどちらかとGNOMEシェルをリロードする必要がありますAlt+ F2およびrまたはコマンドgnome-shell -r。

gnomeshell拡張-管理ニコラスBernaertsによってスクリプトは、両方のシステム全体およびユーザ空間でGNOMEシェル拡張機能をインストールして削除することができます。

インストール方法は次のとおりです。

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のシェル-コンソールからの拡張機能の管理ブログの記事は、それがどのように使われるかを詳細に説明しています。拡張機能を更新する--version latestには、コマンドに追加する必要があります。

技術的に言えば、Ian Brunelliのgnome-shell-extension-installerとの2つの主な違いは、システム全体のインストールを実行できることと、拡張機能をダウンロードするwget代わりに使用していることcurlです。