diff options
| author | Mike Vink <mike.vink@stater.nl> | 2023-04-24 18:31:20 +0200 |
|---|---|---|
| committer | Mike Vink <mike.vink@stater.nl> | 2023-04-24 18:31:20 +0200 |
| commit | 2ae625f60819b9d6bc46d5a3926d53b3d2838ef7 (patch) | |
| tree | ab2ff6b1b0748bd2330cb82fdfcf88c686da0139 /shell-scripts/filter-ansi | |
| parent | e2b0db1ece5e8dfad49e8f2ea72dca4f34681a4d (diff) | |
fixup
Diffstat (limited to 'shell-scripts/filter-ansi')
| -rwxr-xr-x | shell-scripts/filter-ansi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell-scripts/filter-ansi b/shell-scripts/filter-ansi index 2b4cf23..da77abf 100755 --- a/shell-scripts/filter-ansi +++ b/shell-scripts/filter-ansi @@ -1,2 +1,2 @@ # #!@bash@/bin/bash -cat - | sed -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' +cat - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' |