of the script being executed, additional values can be passed
here. Quoting works as expected. <p>
+<BLOCKQUOTE>
+<EM>Warning:</EM> redirecting standard input or standard output in the
+command-line dialog does not work. This is due to circumstances beyond my
+control, hence I cannot say when this will be fixed.
+</BLOCKQUOTE>
+
The default options are also settable on a system-wide basis, see the
section on <A HREF="#preferences">editing preferences</A>. <p>
<HR>
<A HREF="http://www.cwi.nl/~jack">Jack Jansen</A>,
-<A HREF="mailto:jack@cwi.nl">jack@cwi.nl</A>, 19-Apr-1996.
+<A HREF="mailto:jack@cwi.nl">jack@cwi.nl</A>, 05-Sep-1996.
</BODY>
</HTML>