web-dev-qa-db-ja.com

GNOME拡張機能を削除するにはどうすればよいですか？

Ubuntu 17.10（xorg）、gnome 3.26.2、Tweakツールがインストールされています。 gnome-Shell-extensions、chrome-gnome-Shell、およびWebブラウザアドオンgnome-Shell-integrationをインストールしました。

Tweakツールの拡張の下に、 https://extensions.gnome.org からダウンロードしてインストールしたすべての拡張が表示されます。

  1. 個々の拡張機能を削除するためのTweakツール内の各拡張機能の横にボタン（赤い「X」）は表示されません。それは設計によるものですか？拡張機能を削除する唯一の方法は、Webブラウザ経由で https://extensions.gnome.org にアクセスすることですか？
  2. また、Tweakツール内に https://extensions.gnome.org を開くボタンまたはハイパーリンクが表示されません。それも設計によるものですか？
gnome-shellgnome-shell-extensiongnome-tweak-tool
1
dln949

GNOME Tweaksから拡張機能をアンインストールするオプションは削除されたようです。

特定の拡張機能に関連付けられているフォルダーを~/.local/share/gnome-Shell/extensionsから単に削除して、拡張機能をアンインストールすることができます。

1
pomsky