terminal

Shellシェルのオプションを設定する

注: 設定変反映時にログイン中のシェルに対しては効果が得られない場合があります。
キー バリュー
terminal.color
標準出力の装飾
  • 有効化するとANSI 8-bit color のエスケープシーケンスにより表示文字を装飾します
enable
有効化
disable
無効化
  • 無設定時は端末のTERM環境変数から自動判別を試みます
terminal.login-timer
無操作時の自動切断時間
<Time>
タイムアウト時間
範囲 単位
1-999999 秒
  • 無設定時は自動切断しません
ヒント:Standalone Mode工場出荷時コンフィグには300が設定されます
terminal.pager
ページング機能の使用
  • 有効化すると、参照結果等の標準出力が端末画面の表示行数を超えるごとに出力を一時停止します。
enable
有効化
disable
無効化
デフォルト値
enable