KetraTerm
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KetraTerm
ketraterm-workspace
/
io.github.ketraterm.workspace
/
TerminalProfile
/
TerminalProfile
Terminal
Profile
constructor
(
id
:
String
,
displayName
:
String
,
command
:
List
<
String
>
,
environment
:
Map
<
String
,
String
>
=
emptyMap()
,
workingDirectory
:
Path
?
=
null
,
kind
:
TerminalProfileKind
=
TerminalProfileKind.classify(id, displayName, command)
)