diff options
Diffstat (limited to 'doc/envfile.html')
| -rw-r--r-- | doc/envfile.html | 11 |
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> : strict. If <em>file</em> does not exist, exit 111 with an +error message. This is the default. </li> + <li> <tt>-I</tt> : loose. If <em>file</em> does not exist, exec into +<em>prog</em> without modifying the environment. </li> +</ul> + <h2> File syntax </h2> <p> |