Ground Sunlight

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

ユーザ用ツール

サイト用ツール


wsl2:terminal

差分

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

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

両方とも前のリビジョン 前のリビジョン
次のリビジョン
前のリビジョン
wsl2:terminal [2020/12/09 09:51]
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
行 52: 行 51:
  
 <code> <code>
-{User Folder}\AppData\Local\Packages\Microsoft.WindowsTerminal_8wekyb3d8bbwe\LocalState\settings.json+{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.1607475090.txt.gz · 最終更新: 2020/12/09 09:51 by y2sunlight