echo: print a string to whereever output's going

echo "foo";


foo is written to the current output file, or to the screen if there is no output file. This may be useful when running CWB scripts which produce a lot of output.

See also

  • output
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999