====== Windows Terminal ======

{{tag>windows}}

  * [[https://docs.microsoft.com/windows/terminal/|ドキュメント]]
  * [[https://github.com/microsoft/terminal|GitHub]]

===== インストール方法 =====

Microsoftストアからインストール。


===== 使用方法 =====

==== 既定のプロファイルで新しいタブを開く ====

タブの右にある''＋''ボタンをクリックする。

==== メニュー ====

タブの右にある''∨''ボタンをクリックする。

==== プロファイルを選んで新しいタブを開く ====

メニューの一覧からプロファイルを選択する。

==== 設定を変更する ====

メニューから''設定''をクリックするとJSON形式の設定ファイルが表示される。
''Alt''を押しながらクリックするとシステムデフォルトの設定ファイルが表示される。
設定ファイルを上書きすると設定が反映される。


==== ペイン分割 ====

新しいペインは「既定のプロファイル」。

| 右側にペインを追加(垂直分割) | ''Alt+Shift+プラス'' |
| 下側にペインを追加(水平分割) | ''Alt+Shift+マイナス'' |
| ペインを移動 | ''Alt+矢印'' |
| ペインのサイズ変更 | ''Alt+Shift+矢印'' |
| ペインを閉じる | ''Ctrl+Shift+w'' |

新しいキーを割り当てることで、新しいペインで開くプロファイルを変更できる。
詳細は[[https://docs.microsoft.com/ja-jp/windows/terminal/panes#customizing-panes-using-key-bindings|キー バインドを使用してペインをカスタマイズする]]を参照。

デフォルトの設定では''Alt+Shift+d''を押すと、フォーカスしているペインと同じプロファイルで新しいペインを開く。ペインの分割方向は自動。


===== 設定 =====

==== 既定のプロファイルを変更する ====

起動時や「新しいタブ」で開くプロファイル(ターミナル)を変更する。

''defaultProfile''に、デフォルトにしたいプロファイルの''guid''を設定する。

<code javascript>
    "defaultProfile": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}",
    "profiles":
    {
...
        "list":
        [
            {
                "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}",
...
</code>


==== プロファイルを非表示にする ====

メニューに表示にしたくないプロファイルの''profiles.list[].hidden''を''true''に設定する。

<code javascript>
    "profiles":
    {
...
        "list":
        [
            {
...
                "hidden": true,
...
</code>

==== カーソルや配色の変更 ====

カーソルは''profiles.list[].cursorShape''または''profiles.defaults.cursorShape''で、
配色は''profiles.list[].colorScheme''または''profiles.defaults.colorScheme''で指定する。

カーソルの設定可能値は、''bar''(デフォルト)、''vintage''、''underscore''、''filledBox''、''emptyBox''。

配色の設定可能値は[[https://docs.microsoft.com/windows/terminal/customize-settings/color-schemes|Windowsターミナルでの配色]]を参照。

=== コマンドプロンプトと同じ見た目の設定 ===

<code javascript>
    "profiles":
    {
...
        "list":
        [
            {
...
                "colorScheme": "Vintage",
                "cursorShape": "vintage",
...
</code>

=== PowerShellと同じ見た目の設定 ===

<code javascript>
    "profiles":
    {
...
        "list":
        [
            {
...
                "colorScheme": "Campbell Powershell",
                "cursorShape": "vintage",
...
</code>

=== WSLのUbuntuと同じ見た目の設定 ===

<code javascript>
    "profiles":
    {
...
        "list":
        [
            {
...
                "cursorShape": "vintage",
...
</code>

==== SSH接続のプロファイルを追加する ====

''commandline''でWindows 10付属の''ssh''を実行する。
オプション等は[[https://man.openbsd.org/ssh|ssh(1)]]を参照。

Windows 10のバージョン 1803から、デフォルトで''ssh''コマンドがインストールされるようになったらしい。
設定ファイルのディレクトリは''%USERPROFILE%\.ssh''。

''guid''は無くても動くが、無いと既定のプロファイルに出来ない。
guidの生成はLinuxの''uuidgen''等で出来る。

<code javascript>
    "profiles":
    {
...
        "list":
        [
...
            {
                "name": "www.example.com",
                "commandline": "ssh user@www.example.com",
                "hidden": false
            },
...
</code>


==== Git Bashのプロファイルを追加する ====

[[https://gitforwindows.org/|Git for Windows]]のGit Bashを開くプロファイル。

''guid''は無くても動くが、無いと既定のプロファイルに出来ない。


<code javascript>
    "profiles":
    {
...
        "list":
        [
...
            {
                "name": "Git Bash",
                "commandline": "\"C:\\Program Files\\Git\\bin\\bash.exe\" -l",
                "startingDirectory": "%HOMEDRIVE%%HOMEPATH%",
                "hidden": false
            },
...
</code>