[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How to set the line width/turn off output wrapping?
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 .
In the meantime, you could experiment with an upcoming feature that we
call alias  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].
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.