articles:windows_terminal

Windows Terminal

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

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

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

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

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

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

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

新しいキーを割り当てることで、新しいペインで開くプロファイルを変更できる。 詳細はキー バインドを使用してペインをカスタマイズするを参照。

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

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

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

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

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

    "profiles":
    {
...
        "list":
        [
            {
...
                "hidden": true,
...

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

カーソルの設定可能値は、bar(デフォルト)、vintageunderscorefilledBoxemptyBox

配色の設定可能値はWindowsターミナルでの配色を参照。

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

    "profiles":
    {
...
        "list":
        [
            {
...
                "colorScheme": "Vintage",
                "cursorShape": "vintage",
...

PowerShellと同じ見た目の設定

    "profiles":
    {
...
        "list":
        [
            {
...
                "colorScheme": "Campbell Powershell",
                "cursorShape": "vintage",
...

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

    "profiles":
    {
...
        "list":
        [
            {
...
                "cursorShape": "vintage",
...

commandlineでWindows 10付属のsshを実行する。 オプション等はssh(1)を参照。

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

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

    "profiles":
    {
...
        "list":
        [
...
            {
                "name": "www.example.com",
                "commandline": "ssh user@www.example.com",
                "hidden": false
            },
...

Git for WindowsのGit Bashを開くプロファイル。

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

    "profiles":
    {
...
        "list":
        [
...
            {
                "name": "Git Bash",
                "commandline": "\"C:\\Program Files\\Git\\bin\\bash.exe\" -l",
                "startingDirectory": "%HOMEDRIVE%%HOMEPATH%",
                "hidden": false
            },
...
  • 最終更新: 2020-05-22 18:58
  • by nabium