BAF2TRM   (1) manpage
BAF2TRM
1
25 January 2005
  • NAME
      baffle - Aterm-conversion
  • SYNOPSIS

      baffle [ -i input ] [ -o output ] [ -c ] [ -v ] [ -rb ] [ -rt ] [ -rs ] [ -wb ] [ -wt ] [ -ws ]
  • DESCRIPTION


      This manual page briefly describes the baffle commands.

      baffle includes some scripts, they can be used to connect a process producing one Aterm format to a process which expects another. These scripts just set up baffle with the appropriate switches and redirect stdin and stdout accordingly.

      These scripts are appropriately called trm2baf, baf2trm, trm2taf, taf2trm, baf2taf, taf2baf and trmcat.
  • OPTIONS
      -i input
      Read input from file input
      -o output
      write output to file output
      -c
      Check validity of input-term
      -v
      print version information
      -h
      Display help
      -wb -wt -ws
      Choose between BAF, TEXTE, and TAF output
      -rb -rt -rs
      Choose between BAF, TEXTE, and TAF input
  • SEE ALSO
  • AUTHOR


      This manual page was written by Julien LEMOINE <speedblue@debian.org>. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.
Current Users: 18 © 1999-2006 Linux.com.hk PenguinSoft
All trademarks and copyrights on this page are owned by their respective companies. Linux is a trademark of Linus Torvalds.