Class TerminalProfile

A terminal profile defines how a terminal will be launched.

Index

Constructors

Properties

Constructors

constructor

new TerminalProfile(
options: TerminalOptions | ExtensionTerminalOptions,
): TerminalProfile
Creates a new terminal profile.
Parameters
- options: TerminalOptions | ExtensionTerminalOptions
  The options that the terminal will launch with.
Returns TerminalProfile
- Defined in packages/plugin/src/theia.d.ts:3960

Properties

options

options: TerminalOptions | ExtensionTerminalOptions

The options that the terminal will launch with.