From 007da4c519aaf640811d96b546e144722e6e398b Mon Sep 17 00:00:00 2001 From: Mike Vink Date: Mon, 1 May 2023 17:41:22 +0200 Subject: small fixes --- shell-scripts/filter-ansi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'shell-scripts/filter-ansi') 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' -- cgit v1.2.3