Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

On Friday 07 October 2005 06:57, Pål Enger wrote:
> I am using maude 2.1.1 in a Red Hat Linux (RHEL4) environment, and I have
> problems with the linebreaking in the output of maude.  I am running
> maude from a perl-script, and I do not want the output to be broken up
> into lines based on the size of the $COLUMNS-variable or something
> similar.  (the extra whitespace is also unneccesary)
>
> How do I avoid this linebreaking?

You will have to compile you own version, deleting the line
  ioManager.setAutoWrap();
from src/Mixfix/main.cc

The next release, 2.2, due out later this month will have a -no-wrap command 
line option.

Steven