diff options
| -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 "} |