Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
terminal
IShellTerminalServerOptions
Interface IShellTerminalServerOptions
interface
IShellTerminalServerOptions
{
args
?:
string
|
string
[]
;
cols
?:
number
;
env
?:
{
[
key
:
string
]
:
string
|
null
;
}
;
isPseudo
?:
boolean
;
rootURI
?:
string
;
rows
?:
number
;
shell
?:
string
;
strictEnv
?:
boolean
;
}
Hierarchy (
view full
)
IBaseTerminalServerOptions
IShellTerminalServerOptions
Index
Properties
args?
cols?
env?
is
Pseudo?
rootURI?
rows?
shell?
strict
Env?
Properties
Optional
args
args
?:
string
|
string
[]
Optional
cols
cols
?:
number
Optional
env
env
?:
{
[
key
:
string
]
:
string
|
null
;
}
Type declaration
[
key
:
string
]:
string
|
null
Optional
is
Pseudo
is
Pseudo
?:
boolean
Optional
rootURI
rootURI
?:
string
Optional
rows
rows
?:
number
Optional
shell
shell
?:
string
Optional
strict
Env
strict
Env
?:
boolean
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
args
cols
env
is
Pseudo
rootURI
rows
shell
strict
Env
Theia TypeDoc
Loading...