Module Bos.OS.Cmd

module Cmd: sig .. end
Command existence and run.

Note. Executables are searched the PATH unless they contain a '/' character. Empty command lines result in errors.

Command existence

val exists : Bos.Cmd.t -> (bool, [> Rresult.R.msg ]) Bos.OS.result
exists cmd is true if the executable of cmd can be found in the path and false otherwise.
val must_exist : Bos.Cmd.t -> (Bos.Cmd.t, [> Rresult.R.msg ]) Bos.OS.result
must_exist cmd is Ok cmd if Bos.OS.Cmd.exists is true and an error otherwise.

Command runs

The following set of combinators are designed to be used with Pervasives.(|>) operator. See a few examples.

WARNING Windows. The ~append:true options for appending to files are unsupported on Windows. This old feature request should be fixed upstream.

Run statuses & information

type status = [ `Exited of int | `Signaled of int ] 
The type for process exit statuses.
val pp_status : status Fmt.t
pp_status is a formatter for statuses.
type run_info 
The type for run information.
val run_info_cmd : run_info -> Bos.Cmd.t
run_info_cmd ri is the command that was run.
type run_status = run_info * status 
The type for run statuses the run information and the process exit status.
val success : ('a * run_status, [> Rresult.R.msg ] as 'b) Bos.OS.result ->
('a, 'b) Bos.OS.result
success r is:

Run standard errors

type run_err 
The type for representing the standard error of a command run.
val err_file : ?append:bool -> Fpath.t -> run_err
err_file f is a standard error that writes to file f. If append is true (defaults to false) the data is appended to f.
val err_null : run_err
err_null is err_file File.null.
val err_run_out : run_err
err_run_out is a standard error that is redirected to the run's standard output.
val err_stderr : run_err
err_stderr is a standard error that is redirected to the current process standard error.

Run standard inputs

type run_in 
The type for representing the standard input of a command run.
val in_string : string -> run_in
in_string s is a standard input that reads s.
val in_file : Fpath.t -> run_in
in_file f is a standard input that reads from file f.
val in_null : run_in
in_null is in_file File.null.
val in_stdin : run_in
in_stdin is a standard input that reads from the current process standard input.

Run standard outputs

The following functions trigger actual command runs, consume their standard output and return the command and its status. In pipelined runs, the reported status is the one of the first failing run in the pipeline.

Warning. When a value of type Bos.OS.Cmd.run_out has been "consumed" with one of the following functions it cannot be reused.

type run_out 
The type for representing the standard output and status of a command run.
val out_string : ?trim:bool ->
run_out ->
(string * run_status, [> Rresult.R.msg ]) Bos.OS.result
out_string ~trim o captures the standard output o as a string. If trim is true (default) the result is passed through String.trim.
val out_lines : ?trim:bool ->
run_out ->
(string list * run_status, [> Rresult.R.msg ]) Bos.OS.result
out_lines is like Bos.OS.Cmd.out_string but the result is splitted on newlines ('\n'). If the standard output is empty then the empty list is returned.
val out_file : ?append:bool ->
Fpath.t ->
run_out ->
(unit * run_status, [> Rresult.R.msg ]) Bos.OS.result
out_file f o writes the standard output o to file f. If append is true (defaults to false) the data is appended to f.
val out_run_in : run_out -> (run_in, [> Rresult.R.msg ]) Bos.OS.result
out_run_in o is a run input that can be used to feed the standard output of o to the standard input of another, single, command run. Note that when the function returns the command run of o may not be terminated yet. The run using the resulting input will report an unsucessful status or error of o rather than its own error.
val out_null : run_out ->
(unit * run_status, [> Rresult.R.msg ]) Bos.OS.result
out_null o is out_file File.null o.
val out_stdout : run_out ->
(unit * run_status, [> Rresult.R.msg ]) Bos.OS.result
to_stdout o redirects the standard output o to the current process standard output.

Extracting success

The following functions can be used if you only care about success.

val to_string : ?trim:bool ->
run_out -> (string, [> Rresult.R.msg ]) Bos.OS.result
to_string ~trim o is (out_string ~trim o |> success).
val to_lines : ?trim:bool ->
run_out -> (string list, [> Rresult.R.msg ]) Bos.OS.result
to_lines ~trim o is (out_lines ~trim o |> success).
val to_file : ?append:bool ->
Fpath.t -> run_out -> (unit, [> Rresult.R.msg ]) Bos.OS.result
to_file ?append f o is (out_file ?append f o |> success).
val to_null : run_out -> (unit, [> Rresult.R.msg ]) Bos.OS.result
to_null o is to_file File.null o.
val to_stdout : run_out -> (unit, [> Rresult.R.msg ]) Bos.OS.result
to_stdout o is (out_stdout o |> success).

Run specifications

val run_io : ?env:Bos.OS.Env.t ->
?err:run_err ->
Bos.Cmd.t -> run_in -> run_out
run_io ~env ~err cmd i represents the standard output of the command run cmd performed in process environment env with its standard error output handled according to err (defaults to Bos.OS.Cmd.err_stderr) and standard input connected to i. Note that the command run is not started before the output is consumed, see run standard outputs.
val run_out : ?env:Bos.OS.Env.t ->
?err:run_err -> Bos.Cmd.t -> run_out
run_out ?env ?err cmd is (in_stdin |> run_io ?env ?err cmd).
val run_in : ?env:Bos.OS.Env.t ->
?err:run_err ->
Bos.Cmd.t -> run_in -> (unit, [> Rresult.R.msg ]) Bos.OS.result
run_in ?env ?err cmd i is (run_io ?env ?err cmd |> to_stdout).
val run : ?env:Bos.OS.Env.t ->
?err:run_err ->
Bos.Cmd.t -> (unit, [> Rresult.R.msg ]) Bos.OS.result
run ?env ?err cmd is (in_stdin |> run_io ?env ?err cmd |> to_stdout).
val run_status : ?env:Bos.OS.Env.t ->
?err:run_err ->
?quiet:bool ->
Bos.Cmd.t -> (status, [> Rresult.R.msg ]) Bos.OS.result
run_status ?env ?err ?quiet cmd is (in_stdin |> run_io ?env ?err ?cmd |> out_stdout) and extracts the run status.

If quiet is true (defaults to false), in_stdin and out_stdout are respectively replaced by in_null and out_null and err defaults to err_null rather than err_stderr.


Identity miaouw.

let id s = OS.Cmd.(in_string s |> run_io Cmd.(v "cat") |> out_string)
Get the current list of git tracked files in OCaml:
let git = Cmd.v "git"
let git_tracked () =
  let git_ls_files = Cmd.(git % "ls-files"in
  OS.Cmd.(run_out git_ls_files |> to_lines)
Tarbzip the current list of git tracked files, without reading the tracked files in OCaml:
let tbz_git_tracked dst =
  let git_ls_files = Cmd.(git % "ls-files"in
  let tbz = Cmd.(v "tar" % "-cvzf" % p dst % "-T" % "-"in
  OS.Cmd.(run_out git_ls_files |> out_run_in) >>= fun tracked ->
  OS.Cmd.(tracked |> run_in tbz)
Send the email mail.
let send_email mail =
  let sendmail = Cmd.v "sendmail" in
  OS.Cmd.(in_string mail |> run_in sendmail)