summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/envfile.html11
1 files changed, 10 insertions, 1 deletions
diff --git a/doc/envfile.html b/doc/envfile.html
index 713b6ae..62b9669 100644
--- a/doc/envfile.html
+++ b/doc/envfile.html
@@ -26,7 +26,7 @@ adds the variables to the environment, then executes a program.
<h2> Interface </h2>
<pre>
- envfile <em>file</em> <em>prog...</em>
+ envfile [ -i | -I ] <em>file</em> <em>prog...</em>
</pre>
<p>
@@ -51,6 +51,15 @@ with the modified environment.
it execs into <em>prog</em>.
</p>
+<h2> Options </h2>
+
+<ul>
+ <li> <tt>-i</tt>&nbsp;: strict. If <em>file</em> does not exist, exit 111 with an
+error message. This is the default. </li>
+ <li> <tt>-I</tt>&nbsp;: loose. If <em>file</em> does not exist, exec into
+<em>prog</em> without modifying the environment. </li>
+</ul>
+
<h2> File syntax </h2>
<p>