How to set the line width/turn off output wrapping?

[steve....@zuhlke.com]

I have a sequence variable that can get longer than a terminal line. If I print it or use -dump, it gets wrapped above a certain length, which is not what I want because I'd like to grep it for later processing. 

Is there a setting to turn off wrapping for sequences?

Thx all

S

[Clifford Heath]

On 25 Jan 2021, at 10:44 pm, steve....@zuhlke.com <steve....@zuhlke.com> wrote:
> I have a sequence variable that can get longer than a terminal line. If I print it or use -dump, it gets wrapped above a certain length, which is not what I want because I'd like to grep it for later processing.
>
> Is there a setting to turn off wrapping for sequences?

Is it possible that it responds to the $COLUMNS environment variable, set when you resize a terminal window?

Clifford Heath.

[Markus Kuppe]

The only thing remotely related is "-terse". Please consider opening a
feature request [1].

In the meantime, you could experiment with an upcoming feature that we
call alias [2] that might make grepping obsolete. Also, you could use
yet another upcoming feature to format the error-trace in JSON format,
on which you can filter with jq [3,4].

Thanks
Markus

[1] https://github.com/tlaplus/tlaplus/issues
[2] https://github.com/tlaplus/tlaplus/issues/485
[3] https://twitter.com/lemmster/status/1337264737516580867
[4]
https://github.com/tlaplus/Examples/blob/master/specifications/ewd840/EWD840_json.tla