Bash: copia / incolla colorato

Come tutti, ho qualche output colorato nella mia bash. Voglio mantenere la sintassi colorata quando, ad esempio, copio un estratto in un editor HTML. C'è un modo per gestirlo?

Grazie.

Se si sta parlando di uscita colorato di alcuni programmi di utilità da riga di comando, come ls, grep, cmake, git diff, ecc, si prega di nota, che non ha rapporti con GNU Bash.

Ad ogni modo, esistono diversi strumenti per convertire l'output colorato in HTML con sequenze di escape ANSI in HTML:

• aha dal pacchetto con lo stesso nome
• ansi2htmldal modulo HTML :: FromANSI Perl (non impacchettato nel repository Ubuntu, può essere installato da CPAN)
• ansi2html.shper pixelb (non impacchettato, download da git)

L'uso di tutti loro è piuttosto semplice: leggono sequenze di escape terminali stdine inseriscono HTML stdout. Ma nota: la maggior parte dei programmi di utilità non colorano l'output se non sta andando al terminale. Devi ordinare loro di produrre in modo esplicito output colorato. Per esempio.:

$ ls --color=always | aha | xsel -i -b

xsel -i -b qui copierà HTML negli appunti.

È necessario utilizzare le librerie JavaScript per questo, non è possibile copiare / incollare direttamente e mantenere i colori così come sono. Alcune delle librerie popolari per questo sono:

• Google è pretenzioso
• SyntaxHighlighter
• Peperoncino

Fonte: domanda simile su SO