

   SSeenndd OOuuttppuutt ttoo aa FFiillee

        sink()
        sink(file)

   AArrgguummeennttss::

       file: a character string naming the file to write to.

   DDeessccrriippttiioonn::

        `sink(file)' diverts all output to `file' (overwriting
        the file if it already exists;  appending is not sup-
        ported yet).  Only prompts and error messages continue
        to appear on the terminal.

        `sink()' ends the diversion.

