Re: [tlaplus] How to set the line width/turn off output wrapping?

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 25.01.21 03:44, steve....@xxxxxxxxxx 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?


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

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3c995085-8f29-e809-0cb8-6417161dc4dc%40lemmster.de.