diff options
-rwxr-xr-x | stripansi.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/stripansi.sh b/stripansi.sh deleted file mode 100755 index 398a2d16f..000000000 --- a/stripansi.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -# use to strip out ANSI codes, if you want to pipe -# outputof 'cabal test' to a file. - -sed -e 's/\x1B\[([0-9]{1,2}(;[0-9]{1,2})?)?[m|K]//g' |