Module Run_in_terminal_command.Arguments
module Kind : sig ... end
module Env : sig ... end
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.