Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TerminalWidgetOptions

Hierarchy

  • TerminalWidgetOptions

Index

Properties

attributes?: {}

Terminal attributes. Can be useful to apply some implementation specific information.

Type declaration

  • [key: string]: string | null
cwd?: string | URI

Current working directory.

destroyTermOnClose?: boolean

In case destroyTermOnClose is true - terminal process will be destroyed on close terminal widget, otherwise will be kept alive.

env?: {}

Environment variables for terminal.

Type declaration

  • [key: string]: string | null
hideFromUser?: boolean

When enabled the terminal will run the process as normal but not be surfaced to the user until Terminal.show is called.

iconClass?: string

icon class

id?: string

Terminal id. Should be unique for all DOM.

isPseudoTerminal?: boolean

Whether it is a pseudo terminal where an extension controls its input and output.

isTransient?: boolean

When enabled, the terminal will not be persisted across window reloads.

kind?: string

Terminal kind that indicates whether a terminal is created by a user or by some extension for a user

shellArgs?: string | string[]

Args for the custom shell executable. A string can be used on Windows only which allows specifying shell args in command-line format.

shellPath?: string

Path to the executable shell. For example: /bin/bash, bash, sh.

strictEnv?: boolean

Whether the terminal process environment should be exactly as provided in env.

title?: string

Human readable terminal representation on the UI.

useServerTitle?: boolean

Terminal server side can send to the client terminal title to display this value on the UI. If useServerTitle = true then display this title, otherwise display title defined by 'title' argument.