diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-01-01 01:10:38 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-01-01 01:10:38 +0000 |
| commit | b456cc64e931c87bed0e37a7bc3c3105c4e55ab8 (patch) | |
| tree | 6c90cab2116407f2c40be5f62771379fefbe72e0 /extra-tools | |
| parent | updated (diff) | |
| download | mutator-b456cc64e931c87bed0e37a7bc3c3105c4e55ab8.tar.gz mutator-b456cc64e931c87bed0e37a7bc3c3105c4e55ab8.zip | |
added a lil extra for the future
Diffstat (limited to 'extra-tools')
| -rwxr-xr-x | extra-tools/ReportPrintPretty.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extra-tools/ReportPrintPretty.sh b/extra-tools/ReportPrintPretty.sh index 46afdd0..389b504 100755 --- a/extra-tools/ReportPrintPretty.sh +++ b/extra-tools/ReportPrintPretty.sh @@ -1,6 +1,7 @@ #!/bin/bash #the first input should be the raw report output #the second output should be the file name for the pretty output +#function red(string) { printf ("%s%s%s", "\033[1;31m", string, "\033[0m "); } "cat" "$1" | gawk ' BEGIN{RS = "\n";FS = ":"} function red(s) {printf "\033[1;31m" s "\033[0m "} |