I have some text files with color escape sequences in them (recorded terminal sessions), that I would like to convert to a more standard format such as html for easy viewing, with the colors intact. I've asked Google, but haven't yet found a program that will do this for me (probably because I haven't thought of the right words to use in the query). Does anyone here know of such a program? -- Karl Hasselström, kha@treskal.com www.treskal.com/kalle