Process (infer.IBase.Process)

val create_process_and_wait : 
  prog:string ->
  args:string list ->
  ?env:IStdlib.IUnix.Env.t ->
  unit ->
  unit

Given an command to be executed, creates a process to execute this command, and waits for its execution. If the commands fails to execute, prints an error message and exits.

type action =

| ReadStdout
| ReadStderr

val create_process_and_wait_with_output : 
  prog:string ->
  args:string list ->
  ?env:IStdlib.IUnix.Env.t ->
  action ->
  string

Given an command to be executed, creates a process to execute this command, and waits for its execution. Depending on the action passed, either stdout or stderr is returned, with the other being streamed to the console. If the commands fails to execute, prints an error message and exits.

val pipeline : 
  producer_prog:string ->
  producer_args:string list ->
  consumer_prog:string ->
  consumer_args:string list ->
  IStdlib.IUnix.Exit_or_signal.t * IStdlib.IUnix.Exit_or_signal.t

Pipeline producer program into consumer program