Используйте эмулятор терминала, который поддерживает копирование текста в формате HTML (или аналогичного). Вы можете вставить его либо непосредственно в файл .html, либо в LibreOffice, который будет импортировать форматирование.
Например, GNOME Terminal имеет пункт меню «Копировать как HTML», начиная с версии 3.26 (libvte 0.50).