next up previous contents index
Next: Rmargin Up: Set-show Previous: Polar   Contents   Index


Print

The set print command redirects the output of the print command to a file.

Syntax:

     set print
     set print "-"
     set print "<filename>"
     set print "<filename>" append
     set print "|<shell_command>"

Without "$<$filename$>$", the output file is restored to $<$STDERR$>$. The $<$filename$>$ "-" means $<$STDOUT$>$. The append flag causes the file to be opened in append mode. A $<$filename$>$ starting with "$\vert$" is opened as a pipe to the $<$shell_command$>$ on platforms that support piping.


Autobuild 2010-07-05