Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
ProcessTaskDto
Interface ProcessTaskDto
interface
ProcessTaskDto
{
args
?:
string
[]
;
command
:
string
;
detail
?:
string
;
executionId
?:
string
;
executionType
?:
"shell"
|
"process"
|
"customExecution"
;
group
?:
{
isDefault
:
boolean
;
kind
:
TaskGroupKind
}
;
label
:
string
;
options
?:
{
cwd
?:
string
;
[
key
:
string
]:
any
}
;
presentation
?:
TaskPresentationOptionsDTO
;
problemMatcher
?:
any
;
runOptions
?:
RunOptionsDTO
;
scope
:
string
|
number
;
source
?:
string
;
type
:
string
;
windows
?:
CommandProperties
;
[
key
:
string
]:
any
;
}
Hierarchy (
View Summary
)
TaskDto
CommandProperties
ProcessTaskDto
Indexable
[
key
:
string
]:
any
Index
Properties
args?
command
detail?
execution
Id?
execution
Type?
group?
label
options?
presentation?
problem
Matcher?
run
Options?
scope
source?
type
windows?
Properties
Optional
args
args
?:
string
[]
command
command
:
string
Optional
detail
detail
?:
string
Optional
execution
Id
executionId
?:
string
Optional
execution
Type
executionType
?:
"shell"
|
"process"
|
"customExecution"
Optional
group
group
?:
{
isDefault
:
boolean
;
kind
:
TaskGroupKind
}
label
label
:
string
Optional
options
options
?:
{
cwd
?:
string
;
[
key
:
string
]:
any
}
Optional
presentation
presentation
?:
TaskPresentationOptionsDTO
Optional
problem
Matcher
problemMatcher
?:
any
Optional
run
Options
runOptions
?:
RunOptionsDTO
scope
scope
:
string
|
number
Optional
source
source
?:
string
type
type
:
string
Optional
windows
windows
?:
CommandProperties
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
args
command
detail
execution
Id
execution
Type
group
label
options
presentation
problem
Matcher
run
Options
scope
source
type
windows
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...