Use um emulador de terminal que suporte a cópia do texto como HTML (ou similar). Você pode colá-lo diretamente em um arquivo .html ou no LibreOffice, que importará a formatação.
Por exemplo, o Terminal GNOME tem um item de menu "Copiar como HTML" na versão v3.26 (libvte 0.50).