Ubuntu 16.04を実行している仕事用PCにGnome-Shellをインストールしましたが、デフォルトではウィンドウリストの拡張子が付いています。私はそれを18.04にアップグレードしましたが、ウィンドウリスト拡張はまだそこにあります。
しかし、自宅のPCにインストールしたばかりのUbuntu 18.04では、apt
で見つけることができません。
お探しの拡張機能は、パッケージgnome-Shell-extensions
内のすべての「公式」gnome Shell拡張機能とグループ化されています。したがって、そのパッケージをインストールします。その後、Window list
およびApplications menu
を含む拡張機能が利用可能になります。
もちろん、Gnome Shell拡張機能のWebサイトでも拡張機能を見つけることができますが、Ubuntu開発者によって公式にサポートされていない標準のソフトウェアリポジトリを利用します。
そして、インストールされた拡張機能を管理するためにGNOME Tweakツールをインストールすることをお勧めします。
Sudo apt-get install gnome-Tweak-tool