Estoy buscando una biblioteca de código que convierta secuencias de escape ANSI en color HTML, mediante etiquetas simples o CSS. Por ejemplo, algo que podría convertir esto:Una biblioteca para convertir escapes ANSI (formato de terminal/códigos de color) a HTML
ESC[00mESC[01;34mbinESC[00m ESC[01;34mcodeESC[00m ESC[01;31mdropbox-lnx.x86-0.6.404.tar.gzESC[00m ESC[00mfooESC[00m
En esto:
<span style="color:blue">bin</span>
<span style="color:blue">code</span>
<span style="color:red">dropbox-lnx.x86-0.6.404.tar.gz</span>
foo
Conversión rompe en < br/> no es necesario, es sólo los códigos de escape que yo no conozco. Podría hackearlo yo mismo, pero probablemente me perdería algo importante como los subrayados o estropearía el funcionamiento de los colores de fondo. Prefiero simplemente sentarme encima del código de otra persona.
¿Existe tal herramienta (línea de comando linux) o biblioteca (perl, python, o ruby preferentemente)?
Cualquier cosa en Python? – sorin
¡Gran pregunta y un valioso conjunto de respuestas! – cxw