web-dev-qa-db-ja.com

Ubuntu 18.04にウィンドウリストGnome Shell拡張機能をインストールするにはどうすればよいですか?

Ubuntu 16.04を実行している仕事用PCにGnome-Shellをインストールしましたが、デフォルトではウィンドウリストの拡張子が付いています。私はそれを18.04にアップグレードしましたが、ウィンドウリスト拡張はまだそこにあります。

しかし、自宅のPCにインストールしたばかりのUbuntu 18.04では、aptで見つけることができません。

2
blackleg

お探しの拡張機能は、パッケージgnome-Shell-extensions内のすべての「公式」gnome Shell拡張機能とグループ化されています。したがって、そのパッケージをインストールします。その後、Window listおよびApplications menuを含む拡張機能が利用可能になります。

もちろん、Gnome Shell拡張機能のWebサイトでも拡張機能を見つけることができますが、Ubuntu開発者によって公式にサポートされていない標準のソフトウェアリポジトリを利用します。

1
vanadium
  1. https://extensions.gnome.org/extension/602/window-list/ に移動します。
  2. ブラウザに拡張機能(アドオン)をインストールします。
  3. ブラウザでページを更新します。ブラウザーアドオンですべて問題なければ(ブラウザーアドオンをインストールするための提案を表示する必要はもうありません)、window-list拡張トリガーをOn。そして今、あなたは https://extensions.gnome.org/ から別の拡張機能をインストールすることができます。

そして、インストールされた拡張機能を管理するためにGNOME Tweakツールをインストールすることをお勧めします。

Sudo apt-get install gnome-Tweak-tool
1
mature