0 votos

¿Editar (colorear) la salida del terminal antes de imprimir?

Una pregunta muy similar ya ha sido preguntado en SuperUser pero ninguna de las respuestas me resulta satisfactoria.

Realmente puedo conseguir casi lo que quiero simplemente:

  1. Ejecutar el Terminal para toda la sesión con el ancho del terminal que quiero que aparezca en la salida impresa, y
  2. Usando Command-P (-P) para imprimir el historial de desplazamiento de la terminal (¡incluyendo los colores!) en PDFwriter.

Sin embargo, no puedo entonces editar el historial de desplazamiento del terminal antes de imprimir .

Si guardo la salida guardada del terminal con -S, puedo editar el texto, pero es sólo texto plano, sin colores.

Quiero utilizar esta capacidad de impresión para crear PDFs de salida correctamente coloreados que demuestren el uso correcto de las herramientas de línea de comandos, por lo que es importante que pueda editar el historial de desplazamiento para mayor claridad. Por ejemplo, si cometo un error a mitad de una larga demostración, no quiero que el error aparezca en el PDF para confundir a los estudiantes/lectores, pero tampoco quiero reiniciar la demostración.

Realmente me gustaría poder añadir saltos de página en puntos específicos, y tener numeración de páginas. Pero, como mínimo, debo poder editar el texto antes de que se convierta en un PDF.

¿Cómo puedo hacer esto en Mac OS X?

(Estoy usando Lion, 10.7.4.)

1voto

Antes de iniciar la sesión, ejecute el comando bash | tee stdout.rtf . Esto inicia una nueva sesión de bash, registrando la salida en un archivo stdout.rtf . Ahora, simplemente edita stdout.rtf e imprimir.

AppleAyuda.com

AppleAyuda es una comunidad de usuarios de los productos de Apple en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X