diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2023-10-06 23:10:55 +0200 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2023-10-06 23:10:55 +0200 |
| commit | cfaef26e8718916adcc68fbfb63b15f2389b2cd2 (patch) | |
| tree | 3989af4514d31d0a5cb89e8b96d51210ad7bf152 /mut/bin/filter-ansi | |
| parent | 654ec06ab6a885ea851c4cbf68d06a00b41b0e14 (diff) | |
move all the files
Diffstat (limited to 'mut/bin/filter-ansi')
| -rwxr-xr-x | mut/bin/filter-ansi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mut/bin/filter-ansi b/mut/bin/filter-ansi new file mode 100755 index 0000000..369f9fd --- /dev/null +++ b/mut/bin/filter-ansi @@ -0,0 +1,2 @@ +# #!@bash@/bin/bash +cat -u - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' |