diff options
| author | Mike Vink <mike.vink@stater.nl> | 2023-05-01 17:41:22 +0200 |
|---|---|---|
| committer | Mike Vink <mike.vink@stater.nl> | 2023-05-01 17:41:22 +0200 |
| commit | 007da4c519aaf640811d96b546e144722e6e398b (patch) | |
| tree | 4c6c84342259c2ab0d1994bd42813f3d07ee297e /shell-scripts/filter-ansi | |
| parent | 66c69c98bbf01ca202cb29ace8f9654d1f2e5c1a (diff) | |
small fixes
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 da77abf..369f9fd 100755 --- a/shell-scripts/filter-ansi +++ b/shell-scripts/filter-ansi @@ -1,2 +1,2 @@ # #!@bash@/bin/bash -cat - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' +cat -u - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' |