Command line arguments to be passed to shell command.
This is where the data for any extensions which is associated with this session type are kept.
Don not touch this.
The initial directory in which to start the shell command.
Human readable name for this session type.
Identifies this type of session and the back-end needed to run it.
The value here matches that defined in the contributes ->
sessionEditors -> type field in the corresponding extension's
package.json file.
Unique identifier for this session type.
Generated using TypeDoc
A user defined configuration for a terminal session.
This is represented in the UI as a session block in the Settings -> "Session Types" tab. All of the different types of sessions have these fields in common.