From 965dcd3a00fbc250b5460ecf7ac37ac00cfa48aa Mon Sep 17 00:00:00 2001 From: John MacFarlane <fiddlosopher@gmail.com> Date: Tue, 13 Mar 2012 08:40:42 -0700 Subject: [PATCH] Removed stripansi.sh. --- stripansi.sh | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 stripansi.sh 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'