3 ms·
gnome-terminal has a "Copy as HTML" option which is great for this. It basically generates a <pre> tag with colours and basic styling.
by kevincox 4y ago
gnome-terminal has a "Copy as HTML" option which is great for this. It basically generates a <pre> tag with colours and basic styling.