Shell Commands

This section describes each of the FunnelWeb shell commands. The syntax is:

shell_command = absent   | codify | compare | define | diff    | diffsummary |
                diffzero | eneo   | execute | exists | fixeols | help        |
                here     | quit   | set     | show   | skipto  | status      |
                tolerate | trace  | write   | writeu
s = {" "}+

As a rule, FunnelWeb shell commands return severe status if their arguments are syntactically incorrect or if they are unable to successfully operate on argument files.



Subsections