On Sat 16 Dec 2023, Mike Jonkmans via Linux wrote: > 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' sed -e 's/\x1b\[[0-9;]\+m//g' \x1b is escape kleurcode kan gevolgd worden door ;achtergrondkleur Paul