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 /shell-scripts/filter-ansi | |
| parent | 654ec06ab6a885ea851c4cbf68d06a00b41b0e14 (diff) | |
move all the files
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' |