File tree Expand file tree Collapse file tree 1 file changed +8
-13
lines changed Expand file tree Collapse file tree 1 file changed +8
-13
lines changed Original file line number Diff line number Diff line change @@ -53,22 +53,17 @@ val shell : string -> command
53
53
(* * {3 Redirections} *)
54
54
55
55
type redirection =
56
- [ `Keep
57
- | `Dev_null
58
- | `Close
59
- | `FD_copy of Unix .file_descr
60
- | `FD_move of Unix .file_descr ]
56
+ [ `Keep (* * Point to the same file as in the parent. *)
57
+ | `Dev_null (* * Redirect to [/dev/null] (POSIX) or [nul] (Win32). *)
58
+ | `Close (* * Close the file descriptor. *)
59
+ | `FD_copy of Unix .file_descr (* * Redirect to the file pointed to by [fd].
60
+ [fd] remains open in the parent. *)
61
+ | `FD_move of Unix .file_descr (* * Redirect to the file pointed to by [fd].
62
+ [fd] is then closed in the parent. *)
63
+ ]
61
64
(* * File descriptor redirections. These are used with the [~stdin], [~stdout],
62
65
and [~stderr] arguments below to specify how the standard file descriptors
63
66
should be redirected in the child process.
64
-
65
- - [`Keep]: point to the same file as in the parent.
66
- - [`Dev_null]: redirect to [/dev/null] (POSIX) or [nul] (Win32).
67
- - [`Close]: close the file descriptor.
68
- - [`FD_copy fd] redirect to the file pointed to by [fd]. [fd] remains open.
69
- - [`FD_move fd] redirect to the file pointed to by [fd]. [fd] is then
70
- closed.
71
-
72
67
All optional redirection arguments default to [`Keep]. *)
73
68
74
69
(* * {3 Executing} *)
You can’t perform that action at this time.
0 commit comments