How can I type the linux escape character (not print or echo, type inside the file)? I am trying to write in color in a .txt file.