Ground Sunlight

Windowsで作る - PHPプログラミングの開発環境

ユーザ用ツール

サイト用ツール


wsl2:terminal

差分

このページの2つのバージョン間の差分を表示します。

この比較画面にリンクする

両方とも前のリビジョン 前のリビジョン
次のリビジョン
前のリビジョン
wsl2:terminal [2020/12/09 11:49]
y2sunlight [設定]
wsl2:terminal [2020/12/24 09:44] (現在)
y2sunlight [Windows ターミナル]
行 1: 行 1:
-> 編集中 
- 
 ====== Windows ターミナル ====== ====== Windows ターミナル ======
  --- //[[http://www.y2sunlight.com|y2sunlight]] 2020-12-08//  --- //[[http://www.y2sunlight.com|y2sunlight]] 2020-12-08//
行 10: 行 8:
   * [[wsl2:install|WSL2 インストール]]   * [[wsl2:install|WSL2 インストール]]
   * [[wsl2:command|WSL2 コマンドリファレンス]]   * [[wsl2:command|WSL2 コマンドリファレンス]]
 +  * [[wsl2:interop|WSL2 LinuxとのWindowsの相互運用性]]
   * [[wsl2:clone|WSL2 ディストリビューションの複製]]   * [[wsl2:clone|WSL2 ディストリビューションの複製]]
   * Windows Terminal   * Windows Terminal
行 53: 行 52:
 <code> <code>
 {User Folder}\AppData\Local\Packages\Microsoft.WindowsTerminal_8wekyb3d8bbwe\LocalState\ {User Folder}\AppData\Local\Packages\Microsoft.WindowsTerminal_8wekyb3d8bbwe\LocalState\
 +</code>
 +
 +\\
 +
 +===== グローバル設定 =====
 +
 +''settings.json'' のルート部分には、プロファイルの設定に関係なく、ターミナル全体に影響するグローバル設定が定義されています。
 +
 +<code javascript>
 +{
 +    "$schema": "https://aka.ms/terminal-profiles-schema",
 +
 +    "defaultProfile": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
 +    // ...
 +}
 +</code>
 +
 +''defaultProfile'' は新しくタブを開いた時に起動するターミナルアプリケーションを GUID で指定します。上の例は Power Shell が指定されています。
 +
 +グローバル設定についての詳細は、以下を参照して下さい。
 +
 +  * [[https://docs.microsoft.com/ja-jp/windows/terminal/customize-settings/global-settings|Windows ターミナルでのグローバル設定]] 
 +
 +
 +\\
 +
 +===== プロファイル設定 =====
 +
 +プロファイル固有の設定は、''settings.json'' の  ''profiles.list'' セクション で行います。また、すべてのプロファイルに共通で適用する場合は ''profiles.defaults '' セクションに追加できます。
 +
 +<code javascript>
 +{
 +    // ...
 +    "profiles":
 +    {
 +        "defaults":
 +        {
 +            // Put settings here that you want to apply to all profiles.
 +        },
 +        "list":
 +        [
 +            {
 +                // Make changes here to the powershell.exe profile.
 +                "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
 +                "name": "Windows PowerShell",
 +                "commandline": "powershell.exe",
 +                "hidden": false
 +            },
 +            // ...
 +        ]
 +    },
 +    // ...
 +}
 +</code>
 +
 +
 +=== profiles.listの要素 ===
 +
 +profiles.list の各要素はターミナルアプリケーションを表し以下のプロパティなどがあります:
 +
 +
 +  * ''guid'' --- ターミナル アプリケーションを表す一意の識別子(GUID)
 +  * ''name'' --- ドロップダウン メニューに表示されるプロファイルの名前
 +  * ''icon'' ---  タブとドロップダウン メニュー内に表示されるアイコン
 +  * ''commandline'' --- 実行可能ファイルの指定(既定値: ''cmd.exe'')
 +  * ''startingDirectory'' --- シェルが開始されるディレクトリ(既定値: ''%USERPROFILE%"'')
 +  * ''hidden'' --- tureの時プロファイルの一覧に表示されません(既定値: ''false'')
 +
 +プロファイル設定についての詳細は、以下を参照して下さい。
 +
 +  * [[https://docs.microsoft.com/ja-jp/windows/terminal/customize-settings/profile-settings|Windows ターミナルでのプロファイル設定]] 
 +
 +\\
 +
 +===== よく使うLinuxの設定 =====
 +
 +=== 起動時にホームディレクトリから開始 ===
 +
 +UbuntuなどのLinuxディストリビューションではシェル起動時にホームディレクトリから開始されません。これはシェルが開始されるディレクトリの既定値が %USERPROFILE% になっているからです。これをLinuxユーザのホームディレクトリに変えるには次のようにします。
 +
 +プロフィール設定に ''<nowiki>"startingDirectory"</nowiki>'' を追加します:
 +
 +<code javascript>
 +{
 +    // 以下は Ubuntu-20.04 の例です
 +    "guid": "{07b52e3e-de2c-5db4-bd2d-ba144ed6c273}",
 +    "hidden": false,
 +    "name": "Ubuntu-20.04",
 +    "source": "Windows.Terminal.Wsl",
 ++   "startingDirectory": "//wsl$/Ubuntu-20.04/home/user-name"
 +}
 +</code>
 +
 +または、''<nowiki>"commandline"</nowiki>'' を追加します(''~'' に注意して下さい):
 +
 +<code javascript>
 +{
 +    // 以下は Ubuntu-20.04 の例です
 +    "guid": "{07b52e3e-de2c-5db4-bd2d-ba144ed6c273}",
 +    "hidden": false,
 +    "name": "Ubuntu-20.04",
 +    "source": "Windows.Terminal.Wsl",
 ++   "commandline": "wsl.exe ~ -d Ubuntu-20.04"
 +}
 +</code>
 +
 +=== 起動時のユーザを変える ===
 +
 +起動時のユーザを変えるには、以下のように ''<nowiki>"commandline"</nowiki>'' を追加します:
 +
 +<code javascript>
 +{
 +    // 以下は Ubuntu-20.04 の例です
 +    "guid": "{07b52e3e-de2c-5db4-bd2d-ba144ed6c273}",
 +    "hidden": false,
 +    "name": "Ubuntu-20.04",
 +    "source": "Windows.Terminal.Wsl",
 ++   "commandline": "wsl.exe -d CentOS7.6 -u root"
 +}
 +</code>
 +
 +=== 起動時のシェルを変える ===
 +
 +起動時のシェルを変えるには、以下のように ''<nowiki>"commandline"</nowiki>'' を追加します::
 +
 +<code javascript>
 +{
 +    // 以下は Ubuntu-20.04 の例です
 +    "guid": "{07b52e3e-de2c-5db4-bd2d-ba144ed6c273}",
 +    "hidden": false,
 +    "name": "Ubuntu-20.04",
 +    "source": "Windows.Terminal.Wsl",
 ++   "commandline": "wsl.exe -d Ubuntu-20.04 sh"
 +}
 </code> </code>
  
wsl2/terminal.1607482166.txt.gz · 最終更新: 2020/12/09 11:49 by y2sunlight