Modifica l'output del terminale (colorato) prima della stampa?

0

Una domanda molto simile è già stata richiesta su SuperUser ma nessuna delle risposte funziona in modo soddisfacente per me.

Posso effettivamente ottenere quasi ciò che voglio semplicemente:

  1. Esecuzione del terminale per l'intera sessione con la larghezza del terminale che desidero visualizzare nell'output stampato e
  2. Usando Comando-P (⌘-P) per stampare la cronologia di scorrimento del terminale (compresi i colori!) su PDFwriter.

Tuttavia, non posso modificare la cronologia di scorrimento del terminale prima di stampare .

Se salgo l'output di Terminal Saved con ⌘-S, posso modificare il testo, ma è solo testo in chiaro: nessun colore.

Desidero utilizzare questa capacità di stampa per creare PDF di output di esempio con colori perfettamente colorati che dimostrino l'uso corretto degli strumenti da riga di comando, quindi è importante che io sia in grado di modificare la cronologia di scorrimento per maggiore chiarezza. Ad esempio, se faccio un refuso a metà di una lunga dimostrazione, non voglio che l'errore appaia nel PDF per confondere studenti / lettori, ma non voglio nemmeno riavviare la dimostrazione.

In realtà mi piacerebbe poter aggiungere interruzioni di pagina in punti specifici e avere la numerazione delle pagine. Ma per lo meno devo essere in grado di modificare il testo prima che venga trasformato in un PDF.

Come posso farlo su Mac OS X?

(Sto eseguendo Lion, 10.7.4.)

    
posta Wildcard 18.03.2016 - 05:00
fonte

1 risposta

1

Prima di iniziare la sessione, esegui il comando bash | tee stdout.rtf . Questo avvia una nuova sessione bash, registrando l'output in un file stdout.rtf . Adesso modifica semplicemente stdout.rtf e stampa.

    
risposta data 18.03.2016 - 06:43
fonte

Leggi altre domande sui tag