タグ

Terminalとprofileに関するraimon49のブックマーク (1)

  • Windows ターミナルの全般的プロファイル設定

    以下に示す設定は、それぞれ一意のプロファイルに固有のものです。 すべてのプロファイルに設定を適用したい場合は、settings.json ファイル内のプロファイル一覧の上にある、defaults セクションにそれを追加できます。 "defaults": { // SETTINGS TO APPLY TO ALL PROFILES }, "list": [ // PROFILE OBJECTS ] 名前 これは、ドロップダウン メニューに表示されるプロファイルの名前です。 この値は、起動時にシェルに渡す "タイトル" としても使用されます。 一部のシェル (bash など) では、この初期値を無視することができますが、他のシェル (Command Prompt、PowerShell) では、アプリケーションの有効期間中、この値を使用することができます。 この "タイトル" の動作は、tabT

    Windows ターミナルの全般的プロファイル設定
    raimon49
    raimon49 2020/12/07
    settings.jsonで変えられる設定値とそれぞれの挙動。GIFアニが挿し込まれていて分かり易い。
  • 1