メインメニュー
XAMPP アレンジ
IED
WSL2
-
道具箱
リポジトリ編
フレームワーク編
公開ソフトウェア
メタ
リンク
- PHP ライブラリ
- PHP 言語
wsl2:terminal文書の過去の版を表示しています。
編集中Windows ターミナル
— y2sunlight 2020-12-08
関連記事
- Windows Terminal
リンク
- Windows ターミナル — Microsoft ドキュメント
Windows ターミナルは、コマンドプロンプト、PowerShell、WSL上のシェルなどの複数のコマンドラインツールを1つに統合した最新のターミナル アプリケーションです。WSLの導入と同時に是非ともインストールしておきたい開発用ツールです。
インストール
スタートメニューから[Microsoft Store]を開き、
Windows Terminal
を検索し、検索結果から [Windows Terminal] を選択します。■ [入手]ボタンを押して下さい。
■ インストール完了後[起動]を押すと[Windows Terminal] が起動します。
タイトルバーのドロップダウンメニューを開くとインストールされているターミナル一覧が表示されます。
タブに新しいターミナルを開くことは勿論、以下のようにタブを複数のペインに分割することも出来ます。
設定
Windowsターミナルの設定ファイル(
settings.json
)は、Windowsターミナルの[プルダウンメニュー]から[設定]を選択すると開きます。その時、.json
に関連付けされているアプリケーションが起動します。settings.json
は以下の場所に保存されています:{User Folder}\AppData\Local\Packages\Microsoft.WindowsTerminal_8wekyb3d8bbwe\LocalState\
グローバル設定
settings.json
のルート部分には、プロファイルの設定に関係なく、ターミナル全体に影響するグローバル設定が定義されています。{ "$schema": "https://aka.ms/terminal-profiles-schema", "defaultProfile": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}", // ... }
defaultProfile
は新しくタブを開いた時に起動するターミナルアプリケーションを GUID で指定します。上の例は Power Shell が指定されています。グローバル設定についての詳細は、以下を参照して下さい。
プロファイル設定
プロファイル固有の設定は、
settings.json
のprofiles.list
セクション で行います。また、すべてのプロファイルに共通で適用する場合はprofiles.defaults
セクションに追加できます。{ // ... "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 }, // ... ] }, // ... }
profiles.listの要素
profiles.list の各要素はターミナルアプリケーションを表し以下のプロパティなどがあります:
guid
— ターミナル アプリケーションを表す一意の識別子(GUID)name
— ドロップダウン メニューに表示されるプロファイルの名前icon
— タブとドロップダウン メニュー内に表示されるアイコンcommandline
— 実行可能ファイルの指定(既定値:cmd.exe
)startingDirectory
— シェルが開始されるディレクトリ(既定値:%USERPROFILE%“
)hidden
— tureの時プロファイルの一覧に表示されません(既定値:false
)
プロファイル設定についての詳細は、以下を参照して下さい。
よく使うLinuxの設定
以下編集中起動時にホームディレクトリから開始
UbuntuなどのLinuxディストリビューションでは起動時にホームディレクトリから開始されません。これはシェルが開始されるディレクトリの既定値が %USERPROFILE% になっているからです。これをLinuxユーザのホームディレクトリに変えるには次のようにします:
"startingDirectory": "//wsl$/Ubuntu-20.04/home/y2sunlight" // Ubuntu "startingDirectory": "//wsl$/CentOS7.6/root" // CentOS
または
"commandline": "wsl.exe ~ -d Ubuntu-20.04"
起動時のユーザを変える
起動時のユーザを変えるには以下のようにします:
"commandline": "wsl.exe -d CentOS7.6 -u root"
起動時のシェルを変える
起動時のシェルを変えるには以下のようにします:
"commandline": "wsl.exe -d Ubuntu-20.04 sh"
wsl2/terminal.1607517832.txt.gz · 最終更新: 2020/12/09 21:43 by y2sunlight
コメント