Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/dev-container
electron-node/remote-container-connection-provider
RemoteContainerConnectionOptions
Interface RemoteContainerConnectionOptions
interface
RemoteContainerConnectionOptions
{
config
:
DevContainerConfiguration
;
container
:
Container
;
docker
:
Dockerode
;
id
:
string
;
logger
:
ILogger
;
name
:
string
;
type
:
string
;
}
Index
Properties
config
container
docker
id
logger
name
type
Properties
config
config
:
DevContainerConfiguration
container
container
:
Container
docker
docker
:
Dockerode
id
id
:
string
logger
logger
:
ILogger
name
name
:
string
type
type
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
config
container
docker
id
logger
name
type
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...