Windowsユーザーに贈るLinux超入門 第45回 Windows Terminalの注目新機能「検索と任意プロファイルパネル」

RHELやCentOSでパッケージをアップデートする

前回、Windows Terminalを取り上げた時のバージョンは0.7だった。これはペインが導入されたバージョンで、Windows Terminalの使い勝手がかなり洗練されてきたタイミングだ。

それから、Microsoftは0.8、0.9、0.10という3つのバージョンをリリースしている。どのバージョンも便利な機能が導入されており、それらのうちいくつかは押さえておいたほうがよさそうだ。今回は、注目の新機能として、検索と任意プロファイルを指定してパネルを作成する方法を紹介する。Windows Terminalは、Windowsユーザーにとって新たなデフォルトターミナルとなる存在であり、知っておいて損はない。
○検索機能

Windows Terminal 0.8では、ターミナルスクリーンに対する検索機能が追加された。デフォルトではCtrl-Shift-fがショートカットキーとして設定されている。Chtrl-Shift-fを押すと次のようにターミナルの右上に検索フィールドが表示される。

ここで検索キーワードを入力してエンターキーを押すと、随時検索に一致したテキストへターミナルスクリーンがスクロールするようになる。エンターキーを押すごとに次に一致する場所へ移動する。検索がすべて終了すると最初の位置まで検索が戻ってくる。

この検索はペインに対しても個別に生成される。以下のスクリーンショットは、垂直パネルを1つ追加したものだ。スクリーンショットが示しているように、パネルごとに個別の検索フィールドが生成されていることがわかる。検索フィールドは自分が所属しているパネルの中身だけを検索の対象として機能する。

○プロファイルごとにパネルを新規生成する方法

パネルについては、Windows Terminal バージョン0.7を紹介した時に取り上げたが、この時はデフォルトのプロファイルでしかパネルを生成することができなかった。以下の2つのスクリーンショットは、この動作を示したものだ。Shift-Alt-+で垂直パネルを新規生成すると、デフォルトのプロファイルでパネルが作成される。執筆現在ではデフォルトのパネルはWindows PowerShellなので、Windows PowerShellでパネルが起動してくる。

デフォルトのプロファイルを設定すれば、他のプロファイルでパネルを起動することはできる。例えば、Ubuntu 18.04をデフォルトのプロファイルにしておけば、Ubuntu 18.04でパネルが作成されるようになるわけだが、これだと他のプロファイルでパネルが作成できなくなる。

そこで、Windows Terminal バージョン0.8にはこの問題を解決できる機能が追加された。任意のプロファイルを指定してパネルを作成できるようになったのだ。この機能を利用するには、設定を追加する必要がある。まず、自分が使っているWindows Terminalのメニューを確認する。次の例では、6つのプロファイルが利用できることになる。

次に、以下のような設定を設定ファイル（profiles.json）に追加する。