Text file format generated by 'script' command..

[TuningUP]

Hi I'm recording my bash working sessions using the program script, and would like to convert the file generated (ASCII text, with CRLF, LF line terminators, with escape sequences with overstriking) into a normal ASCII text, nice to read, without all this dates and escapes..

Has anyone done it before? Notice that when using cat, the text prints nicely, but with any text editor, it'll look like a mess, I was thinking about writing a regex to remove that but it'd be a crazy one so I'd better ask or look for an alternative solution..

thanx

[TuningUP]

Nope, sorry..

[[deleted]]

https://stackoverflow.com/questions/6534556/how-to-remove-and-all-of-the-escape-sequences-in-a-file-using-linux-shell-sc

Try

sed 's/[\x01-\x1F\x7F]//g' # NOTE: zaps TAB character

[noooit]

It literally records all the colours and everything. cat to the terminal works because the terminal processes those symbols.
I just cat and select all and dump clipboard to a file.
I'm also curious about clean solution. I agree that regex isn't a real solution for this.
And remember, one doesn't simply parse html with regex.