¿Editar la salida de la terminal (coloreada) antes de imprimir?

0

Ya se ha hecho una pregunta muy similar a en el Superusuario pero ninguna de las respuestas funciona satisfactoriamente para mí.

Realmente puedo obtener casi lo que quiero simplemente:

  1. Ejecutando el terminal para toda la sesión con el ancho del terminal que quiero que aparezca en la salida impresa, y
  2. Uso de Comando-P (⌘-P) para imprimir el historial de retroceso del terminal (¡incluidos los colores!) a PDFwriter.

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

Si guardo la salida guardada del terminal con ⌘-S, puedo editar el texto, pero es solo de texto plano, sin colores.

Quiero usar esta capacidad de impresión para crear archivos PDF de salida de ejemplo correctamente coloreados que demuestren el uso correcto de las herramientas de la línea de comandos, por lo que es importante que pueda editar el historial de retroceso para mayor claridad. Por ejemplo, si hago un error tipográfico 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 agregar saltos de página en puntos específicos y tener una numeración de páginas. Pero al menos debo poder editar el texto antes de que se convierta en un PDF.

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

(Estoy ejecutando Lion, 10.7.4.)

    
pregunta Wildcard 18.03.2016 - 05:00

1 respuesta

1

Antes de comenzar su 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 edite stdout.rtf e imprima.

    
respondido por el thepiercingarrow 18.03.2016 - 06:43

Lea otras preguntas en las etiquetas