I have a shell script which executes commands and echoes colored strings (with ANSI colors codes, for example \\e[31m) , and I write all of the output to a file using exec a