package dap
Module Run_in_terminal_command.ArgumentsSource
Source
type t = {kind : Kind.t option;(*What kind of terminal to launch.
*)title : string option;(*Optional title of the terminal.
*)cwd : string;(*Working directory for the command. For non-empty, valid paths this typically results in execution of a change directory command.
*)args : string list;(*List of arguments. The first argument is the command to run.
*)env : Env.t option;(*Environment key-value pairs that are added to or removed from the default environment.
*)
}Arguments for 'runInTerminal' request.