---
name: "baf2trm"
section: "1"
platform: "linux"
package: "xt-aterm"
version: "2.0.5-2"
release: "Debian 3.1 (Sarge)"
platforms: ["linux"]
url: "https://new.carta.tech/baf2trm"
---

# baf2trm(1)

Aterm-conversion

## 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

[atdiff(1)](/atdiff/1.md), [termsize(1)](/termsize/1.md), [atsum(1)](/atsum/1.md)

## 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.