New answers tagged escape-characters
If the problem is that the output from your bash script is getting lost, then you can win the battle with redirection: echo "\ePtmux;\e\e]9;foobar\007\e\" > /dev/tty However, I suspect the real problem is that you should be using echo -e so that bash processes the escape sequences in your string.
I solved the problem by running scriptreplay in a screen and the dumping the scrollback buffer to a file. The following expect script does this for you. It has been tested for logfiles with up to 250.000 lines. In the working directory you need your scriptlog, a file called "time" with 10.000.000 times the line "1 10" in it, and the script. I needs the ...
You can simply run: dos2unix <filename> This will remove all the ^M characters from the file. ^M is the carriage-return character generated in a DOS environment. The command dos2unix just converts the file from DOS to Unix format. To remove the ^H and ^G characters, use sed: sed -i 's/\^H//g;s/\^G//g' <filename>
In general, obtaining the current colours is impossible. The control sequence processing of a terminal happens "inside" the terminal, wherever that happens to be. With a terminal emulator such as xterm or the one built into an operating system kernel that provides the kernel virtual terminals, the internal state of the emulator, including its notion of the ...
Top 50 recent answers are included