api-run-command.html [plain text]
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="generator" content="AsciiDoc 8.4.5" />
<title>run-command API</title>
<style type="text/css">
/* Debug borders */
p, li, dt, dd, div, pre, h1, h2, h3, h4, h5, h6 {
/*
border: 1px solid red;
*/
}
body {
margin: 1em 5% 1em 5%;
}
a {
color: blue;
text-decoration: underline;
}
a:visited {
color: fuchsia;
}
em {
font-style: italic;
color: navy;
}
strong {
font-weight: bold;
color: #083194;
}
tt {
color: navy;
}
h1, h2, h3, h4, h5, h6 {
color: #527bbd;
font-family: sans-serif;
margin-top: 1.2em;
margin-bottom: 0.5em;
line-height: 1.3;
}
h1, h2, h3 {
border-bottom: 2px solid silver;
}
h2 {
padding-top: 0.5em;
}
h3 {
float: left;
}
h3 + * {
clear: left;
}
div.sectionbody {
font-family: serif;
margin-left: 0;
}
hr {
border: 1px solid silver;
}
p {
margin-top: 0.5em;
margin-bottom: 0.5em;
}
ul, ol, li > p {
margin-top: 0;
}
pre {
padding: 0;
margin: 0;
}
span#author {
color: #527bbd;
font-family: sans-serif;
font-weight: bold;
font-size: 1.1em;
}
span#email {
}
span#revnumber, span#revdate, span#revremark {
font-family: sans-serif;
}
div#footer {
font-family: sans-serif;
font-size: small;
border-top: 2px solid silver;
padding-top: 0.5em;
margin-top: 4.0em;
}
div#footer-text {
float: left;
padding-bottom: 0.5em;
}
div#footer-badges {
float: right;
padding-bottom: 0.5em;
}
div#preamble {
margin-top: 1.5em;
margin-bottom: 1.5em;
}
div.tableblock, div.imageblock, div.exampleblock, div.verseblock,
div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
div.admonitionblock {
margin-top: 1.5em;
margin-bottom: 1.5em;
}
div.admonitionblock {
margin-top: 2.5em;
margin-bottom: 2.5em;
}
div.content { /* Block element content. */
padding: 0;
}
/* Block element titles. */
div.title, caption.title {
color: #527bbd;
font-family: sans-serif;
font-weight: bold;
text-align: left;
margin-top: 1.0em;
margin-bottom: 0.5em;
}
div.title + * {
margin-top: 0;
}
td div.title:first-child {
margin-top: 0.0em;
}
div.content div.title:first-child {
margin-top: 0.0em;
}
div.content + div.title {
margin-top: 0.0em;
}
div.sidebarblock > div.content {
background: #ffffee;
border: 1px solid silver;
padding: 0.5em;
}
div.listingblock > div.content {
border: 1px solid silver;
background: #f4f4f4;
padding: 0.5em;
}
div.quoteblock {
padding-left: 2.0em;
margin-right: 10%;
}
div.quoteblock > div.attribution {
padding-top: 0.5em;
text-align: right;
}
div.verseblock {
padding-left: 2.0em;
margin-right: 10%;
}
div.verseblock > div.content {
white-space: pre;
}
div.verseblock > div.attribution {
padding-top: 0.75em;
text-align: left;
}
/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
div.verseblock + div.attribution {
text-align: left;
}
div.admonitionblock .icon {
vertical-align: top;
font-size: 1.1em;
font-weight: bold;
text-decoration: underline;
color: #527bbd;
padding-right: 0.5em;
}
div.admonitionblock td.content {
padding-left: 0.5em;
border-left: 2px solid silver;
}
div.exampleblock > div.content {
border-left: 2px solid silver;
padding: 0.5em;
}
div.imageblock div.content { padding-left: 0; }
span.image img { border-style: none; }
a.image:visited { color: white; }
dl {
margin-top: 0.8em;
margin-bottom: 0.8em;
}
dt {
margin-top: 0.5em;
margin-bottom: 0;
font-style: normal;
color: navy;
}
dd > *:first-child {
margin-top: 0.1em;
}
ul, ol {
list-style-position: outside;
}
ol.arabic {
list-style-type: decimal;
}
ol.loweralpha {
list-style-type: lower-alpha;
}
ol.upperalpha {
list-style-type: upper-alpha;
}
ol.lowerroman {
list-style-type: lower-roman;
}
ol.upperroman {
list-style-type: upper-roman;
}
div.compact ul, div.compact ol,
div.compact p, div.compact p,
div.compact div, div.compact div {
margin-top: 0.1em;
margin-bottom: 0.1em;
}
div.tableblock > table {
border: 3px solid #527bbd;
}
thead {
font-family: sans-serif;
font-weight: bold;
}
tfoot {
font-weight: bold;
}
td > div.verse {
white-space: pre;
}
p.table {
margin-top: 0;
}
/* Because the table frame attribute is overriden by CSS in most browsers. */
div.tableblock > table[frame="void"] {
border-style: none;
}
div.tableblock > table[frame="hsides"] {
border-left-style: none;
border-right-style: none;
}
div.tableblock > table[frame="vsides"] {
border-top-style: none;
border-bottom-style: none;
}
div.hdlist {
margin-top: 0.8em;
margin-bottom: 0.8em;
}
div.hdlist tr {
padding-bottom: 15px;
}
dt.hdlist1.strong, td.hdlist1.strong {
font-weight: bold;
}
td.hdlist1 {
vertical-align: top;
font-style: normal;
padding-right: 0.8em;
color: navy;
}
td.hdlist2 {
vertical-align: top;
}
div.hdlist.compact tr {
margin: 0;
padding-bottom: 0;
}
.comment {
background: yellow;
}
@media print {
div#footer-badges { display: none; }
}
div#toctitle {
color: #527bbd;
font-family: sans-serif;
font-size: 1.1em;
font-weight: bold;
margin-top: 1.0em;
margin-bottom: 0.1em;
}
div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
margin-top: 0;
margin-bottom: 0;
}
div.toclevel2 {
margin-left: 2em;
font-size: 0.9em;
}
div.toclevel3 {
margin-left: 4em;
font-size: 0.9em;
}
div.toclevel4 {
margin-left: 6em;
font-size: 0.9em;
}
/* Workarounds for IE6's broken and incomplete CSS2. */
div.sidebar-content {
background: #ffffee;
border: 1px solid silver;
padding: 0.5em;
}
div.sidebar-title, div.image-title {
color: #527bbd;
font-family: sans-serif;
font-weight: bold;
margin-top: 0.0em;
margin-bottom: 0.5em;
}
div.listingblock div.content {
border: 1px solid silver;
background: #f4f4f4;
padding: 0.5em;
}
div.quoteblock-attribution {
padding-top: 0.5em;
text-align: right;
}
div.verseblock-content {
white-space: pre;
}
div.verseblock-attribution {
padding-top: 0.75em;
text-align: left;
}
div.exampleblock-content {
border-left: 2px solid silver;
padding-left: 0.5em;
}
/* IE6 sets dynamically generated links as visited. */
div#toc a:visited { color: blue; }
</style>
</head>
<body>
<div id="header">
<h1>run-command API</h1>
</div>
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>The run-command API offers a versatile tool to run sub-processes with
redirected input and output as well as with a modified environment
and an alternate current directory.</p></div>
<div class="paragraph"><p>A similar API offers the capability to run a function asynchronously,
which is primarily used to capture the output that the function
produces in the caller in order to process it.</p></div>
</div>
</div>
<h2 id="_functions">Functions</h2>
<div class="sectionbody">
<div class="dlist"><dl>
<dt class="hdlist1">
<tt>start_command</tt>
</dt>
<dd>
<p>
Start a sub-process. Takes a pointer to a <tt>struct child_process</tt>
that specifies the details and returns pipe FDs (if requested).
See below for details.
</p>
</dd>
<dt class="hdlist1">
<tt>finish_command</tt>
</dt>
<dd>
<p>
Wait for the completion of a sub-process that was started with
start_command().
</p>
</dd>
<dt class="hdlist1">
<tt>run_command</tt>
</dt>
<dd>
<p>
A convenience function that encapsulates a sequence of
start_command() followed by finish_command(). Takes a pointer
to a <tt>struct child_process</tt> that specifies the details.
</p>
</dd>
<dt class="hdlist1">
<tt>run_command_v_opt</tt>, <tt>run_command_v_opt_cd_env</tt>
</dt>
<dd>
<p>
Convenience functions that encapsulate a sequence of
start_command() followed by finish_command(). The argument argv
specifies the program and its arguments. The argument opt is zero
or more of the flags <tt>RUN_COMMAND_NO_STDIN</tt>, <tt>RUN_GIT_CMD</tt>,
<tt>RUN_COMMAND_STDOUT_TO_STDERR</tt>, or <tt>RUN_SILENT_EXEC_FAILURE</tt>
that correspond to the members .no_stdin, .git_cmd,
.stdout_to_stderr, .silent_exec_failure of <tt>struct child_process</tt>.
The argument dir corresponds the member .dir. The argument env
corresponds to the member .env.
</p>
</dd>
</dl></div>
<div class="paragraph"><p>The functions above do the following:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
If a system call failed, errno is set and -1 is returned. A diagnostic
is printed.
</p>
</li>
<li>
<p>
If the program was not found, then -1 is returned and errno is set to
ENOENT; a diagnostic is printed only if .silent_exec_failure is 0.
</p>
</li>
<li>
<p>
Otherwise, the program is run. If it terminates regularly, its exit
code is returned. No diagnostic is printed, even if the exit code is
non-zero.
</p>
</li>
<li>
<p>
If the program terminated due to a signal, then the return value is the
signal number - 128, ie. it is negative and so indicates an unusual
condition; a diagnostic is printed. This return value can be passed to
exit(2), which will report the same code to the parent process that a
POSIX shell’s $? would report for a program that died from the signal.
</p>
<div class="dlist"><dl>
<dt class="hdlist1">
<tt>start_async</tt>
</dt>
<dd>
<p>
Run a function asynchronously. Takes a pointer to a <tt>struct
async</tt> that specifies the details and returns a set of pipe FDs
for communication with the function. See below for details.
</p>
</dd>
<dt class="hdlist1">
<tt>finish_async</tt>
</dt>
<dd>
<p>
Wait for the completion of an asynchronous function that was
started with start_async().
</p>
</dd>
<dt class="hdlist1">
<tt>run_hook</tt>
</dt>
<dd>
<p>
Run a hook.
The first argument is a pathname to an index file, or NULL
if the hook uses the default index file or no index is needed.
The second argument is the name of the hook.
The further arguments correspond to the hook arguments.
The last argument has to be NULL to terminate the arguments list.
If the hook does not exist or is not executable, the return
value will be zero.
If it is executable, the hook will be executed and the exit
status of the hook is returned.
On execution, .stdout_to_stderr and .no_stdin will be set.
(See below.)
</p>
</dd>
</dl></div>
</li>
</ol></div>
</div>
<h2 id="_data_structures">Data structures</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
<tt>struct child_process</tt>
</p>
</li>
</ul></div>
<div class="paragraph"><p>This describes the arguments, redirections, and environment of a
command to run in a sub-process.</p></div>
<div class="paragraph"><p>The caller:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
allocates and clears (memset(&chld, 0, sizeof(chld));) a
struct child_process variable;
</p>
</li>
<li>
<p>
initializes the members;
</p>
</li>
<li>
<p>
calls start_command();
</p>
</li>
<li>
<p>
processes the data;
</p>
</li>
<li>
<p>
closes file descriptors (if necessary; see below);
</p>
</li>
<li>
<p>
calls finish_command().
</p>
</li>
</ol></div>
<div class="paragraph"><p>The .argv member is set up as an array of string pointers (NULL
terminated), of which .argv[0] is the program name to run (usually
without a path). If the command to run is a git command, set argv[0] to
the command name without the <em>git-</em> prefix and set .git_cmd = 1.</p></div>
<div class="paragraph"><p>The members .in, .out, .err are used to redirect stdin, stdout,
stderr as follows:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
Specify 0 to request no special redirection. No new file descriptor
is allocated. The child process simply inherits the channel from the
parent.
</p>
</li>
<li>
<p>
Specify -1 to have a pipe allocated; start_command() replaces -1
by the pipe FD in the following way:
</p>
<div class="literalblock">
<div class="content">
<pre><tt>.in: Returns the writable pipe end into which the caller writes;
the readable end of the pipe becomes the child's stdin.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>.out, .err: Returns the readable pipe end from which the caller
reads; the writable end of the pipe end becomes child's
stdout/stderr.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>The caller of start_command() must close the so returned FDs
after it has completed reading from/writing to it!</tt></pre>
</div></div>
</li>
<li>
<p>
Specify a file descriptor > 0 to be used by the child:
</p>
<div class="literalblock">
<div class="content">
<pre><tt>.in: The FD must be readable; it becomes child's stdin.
.out: The FD must be writable; it becomes child's stdout.
.err: The FD must be writable; it becomes child's stderr.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>The specified FD is closed by start_command(), even if it fails to
run the sub-process!</tt></pre>
</div></div>
</li>
<li>
<p>
Special forms of redirection are available by setting these members
to 1:
</p>
<div class="literalblock">
<div class="content">
<pre><tt>.no_stdin, .no_stdout, .no_stderr: The respective channel is
redirected to /dev/null.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>.stdout_to_stderr: stdout of the child is redirected to its
stderr. This happens after stderr is itself redirected.
So stdout will follow stderr to wherever it is
redirected.</tt></pre>
</div></div>
</li>
</ol></div>
<div class="paragraph"><p>To modify the environment of the sub-process, specify an array of
string pointers (NULL terminated) in .env:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
If the string is of the form "VAR=value", i.e. it contains <em>=</em>
the variable is added to the child process’s environment.
</p>
</li>
<li>
<p>
If the string does not contain <em>=</em>, it names an environment
variable that will be removed from the child process’s environment.
</p>
</li>
</ol></div>
<div class="paragraph"><p>To specify a new initial working directory for the sub-process,
specify it in the .dir member.</p></div>
<div class="paragraph"><p>If the program cannot be found, the functions return -1 and set
errno to ENOENT. Normally, an error message is printed, but if
.silent_exec_failure is set to 1, no message is printed for this
special error condition.</p></div>
<div class="ulist"><ul>
<li>
<p>
<tt>struct async</tt>
</p>
</li>
</ul></div>
<div class="paragraph"><p>This describes a function to run asynchronously, whose purpose is
to produce output that the caller reads.</p></div>
<div class="paragraph"><p>The caller:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
allocates and clears (memset(&asy, 0, sizeof(asy));) a
struct async variable;
</p>
</li>
<li>
<p>
initializes .proc and .data;
</p>
</li>
<li>
<p>
calls start_async();
</p>
</li>
<li>
<p>
processes communicates with proc through .in and .out;
</p>
</li>
<li>
<p>
closes .in and .out;
</p>
</li>
<li>
<p>
calls finish_async().
</p>
</li>
</ol></div>
<div class="paragraph"><p>The members .in, .out are used to provide a set of fd’s for
communication between the caller and the callee as follows:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
Specify 0 to have no file descriptor passed. The callee will
receive -1 in the corresponding argument.
</p>
</li>
<li>
<p>
Specify < 0 to have a pipe allocated; start_async() replaces
with the pipe FD in the following way:
</p>
<div class="literalblock">
<div class="content">
<pre><tt>.in: Returns the writable pipe end into which the caller
writes; the readable end of the pipe becomes the function's
in argument.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>.out: Returns the readable pipe end from which the caller
reads; the writable end of the pipe becomes the function's
out argument.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>The caller of start_async() must close the returned FDs after it
has completed reading from/writing from them.</tt></pre>
</div></div>
</li>
<li>
<p>
Specify a file descriptor > 0 to be used by the function:
</p>
<div class="literalblock">
<div class="content">
<pre><tt>.in: The FD must be readable; it becomes the function's in.
.out: The FD must be writable; it becomes the function's out.</tt></pre>
</div></div>
<div class="literalblock">
<div class="content">
<pre><tt>The specified FD is closed by start_async(), even if it fails to
run the function.</tt></pre>
</div></div>
</li>
</ol></div>
<div class="paragraph"><p>The function pointer in .proc has the following signature:</p></div>
<div class="literalblock">
<div class="content">
<pre><tt>int proc(int in, int out, void *data);</tt></pre>
</div></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
in, out specifies a set of file descriptors to which the function
must read/write the data that it needs/produces. The function
<strong>must</strong> close these descriptors before it returns. A descriptor
may be -1 if the caller did not configure a descriptor for that
direction.
</p>
</li>
<li>
<p>
data is the value that the caller has specified in the .data member
of struct async.
</p>
</li>
<li>
<p>
The return value of the function is 0 on success and non-zero
on failure. If the function indicates failure, finish_async() will
report failure as well.
</p>
</li>
</ol></div>
<div class="paragraph"><p>There are serious restrictions on what the asynchronous function can do
because this facility is implemented by a thread in the same address
space on most platforms (when pthreads is available), but by a pipe to
a forked process otherwise:</p></div>
<div class="olist arabic"><ol class="arabic">
<li>
<p>
It cannot change the program’s state (global variables, environment,
etc.) in a way that the caller notices; in other words, .in and .out
are the only communication channels to the caller.
</p>
</li>
<li>
<p>
It must not change the program’s state that the caller of the
facility also uses.
</p>
</li>
</ol></div>
</div>
<div id="footer">
<div id="footer-text">
Last updated 2010-12-17 03:09:32 UTC
</div>
</div>
</body>
</html>