On Fri, Dec 15, 2023 at 07:09:09PM +0100, Geert Stappers via Linux wrote: > Met welke tool haal jij terminal stuurcodes uit bestanden? sed -e 's/ESC\[[0-9]\+m//g' -- Groetjes, Mike Jonkmans Verzonden vanaf Linux.