Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal
common/shell-terminal-protocol
IShellTerminalServerOptions
Interface IShellTerminalServerOptions
interface
IShellTerminalServerOptions
{
args
?:
string
|
string
[]
;
cols
?:
number
;
env
?:
{
[
key
:
string
]:
null
|
string
}
;
isPseudo
?:
boolean
;
rootURI
?:
string
;
rows
?:
number
;
shell
?:
string
;
strictEnv
?:
boolean
;
}
Hierarchy (
View Summary
)
IBaseTerminalServerOptions
IShellTerminalServerOptions
Index
Properties
args?
cols?
env?
is
Pseudo?
root
URI?
rows?
shell?
strict
Env?
Properties
Optional
args
args
?:
string
|
string
[]
Optional
cols
cols
?:
number
Optional
env
env
?:
{
[
key
:
string
]:
null
|
string
}
Optional
is
Pseudo
isPseudo
?:
boolean
Optional
root
URI
rootURI
?:
string
Optional
rows
rows
?:
number
Optional
shell
shell
?:
string
Optional
strict
Env
strictEnv
?:
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
args
cols
env
is
Pseudo
root
URI
rows
shell
strict
Env
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...