diff options
Diffstat (limited to 'shell-scripts/filter-ansi')
| -rwxr-xr-x | shell-scripts/filter-ansi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/shell-scripts/filter-ansi b/shell-scripts/filter-ansi deleted file mode 100755 index 369f9fd..0000000 --- a/shell-scripts/filter-ansi +++ /dev/null @@ -1,2 +0,0 @@ -# #!@bash@/bin/bash -cat -u - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' |
