2つのソースからGNOMEシェル拡張をインストールしました。
- マイデプロイメントリポジトリ（つまり、ローカルパッケージとしてインストールされている）
- https://extensions.gnome.org
時にはExtensions.gnome.orgからアップグレードプロンプトが表示されますが、拡張の元の状態が何であるかはわかりません（アップグレードするか、ソースの移行などを決定できます）。
拡張プログラムのソースをどのように知ることができますか？
ベストアンサー1
アップグレードプロンプトは、ブラウザの「GNOMEシェル統合」プラグインから表示されます。指示に従って移動するとhttps://extensions.gnome.org/local/両方のソースのすべての拡張機能がここにリストされています。
サイトの拡張機能には、削除できることを示す赤い「X」ボタンがあります。ローカルパッケージは「GNOMEシェル統合」では削除できないため、Xを取得できません。
Debianベースのディストリビューションでは、ほとんどの拡張機能は別々のパッケージgnome-shell-extension-Xまたはgnome-shell-extensions-X.
パッケージは例外ですGNOME シェル拡張（サフィックスなし）。このパッケージには、GNOMEの「公式」拡張セットが含まれています。ローカルパッケージとしてインストールできます。