From 7838c2d394522a80888856af6f7b5a02c1634ac8 Mon Sep 17 00:00:00 2001 From: Mike Vink Date: Thu, 20 Apr 2023 16:00:18 +0200 Subject: fixup --- shell-scripts/filter-ansi | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 shell-scripts/filter-ansi (limited to 'shell-scripts/filter-ansi') diff --git a/shell-scripts/filter-ansi b/shell-scripts/filter-ansi new file mode 100755 index 0000000..62999a9 --- /dev/null +++ b/shell-scripts/filter-ansi @@ -0,0 +1,2 @@ +#!@bash@/bin/bash +cat - | sed -e 's/\x1b\[[0-9;]*m//g' -- cgit v1.2.3