Automatically start the default kernel if no other matching kernel is
found (default true
).
A kernel can be started (default true
).
The id of an existing kernel.
The preferred kernel language.
The name of the kernel.
A kernel should be started automatically (default true
).
Shut down the session when session context is disposed (default false
).
Generated using TypeDoc
A kernel preference.
Notes
Preferences for a kernel are considered in the order
id
,name
,language
. If no matching kernels can be found andautoStartDefault
istrue
, then the default kernel for the server is preferred.