Cmd module

The Cmd module is the one linked to unix command.

types:

cmd

The type cmd represent a possibly executed unix command. It as a result (positive integer), a main output and an error output.

Fields:

res: int option

The integer representing the result of an execution or None if execution is running. (Some 0) means a succesfull execution while another number means an error occured.

print: string

The main output of a command as a string.

print_err: string

The error output of a command.

Exemples:

% let $nbCmd = grep "^#PROGRAM" $file | wc -l in
  ( $Opt.get ($Int.fromString $nbCmd.Cmd.print) 0)