From 60eacbc7ff67b726df1a4dd9fba28a27e158d388 Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Sat, 3 Mar 2018 20:27:38 -0800 Subject: [PATCH] Delete .dot file after successfully generating SVGs --- script/test | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/script/test b/script/test index a3fd3b6c..34e66241 100755 --- a/script/test +++ b/script/test @@ -123,15 +123,19 @@ case ${mode} in ;; SVG) + html_file=log.html + dot_file=$html_file.dot + function write_log_file { - echo "" > log.html - line_count=$(grep -n '^$' log.dot | tail -1 | cut -f1 -d:) + echo "" > $html_file + line_count=$(grep -n '^$' $dot_file | tail -1 | cut -f1 -d:) if [[ -n $line_count ]]; then - head -n $line_count log.dot | dot -Tsvg >> log.html + head -n $line_count $dot_file | dot -Tsvg >> $html_file else - cat log.dot | dot -Tsvg >> log.html + cat $dot_file | dot -Tsvg >> $html_file fi - echo "Wrote log.html - $line_count" + rm $dot_file + echo "Wrote $html_file - $line_count" } function handle_sigint { @@ -142,7 +146,7 @@ case ${mode} in } trap handle_sigint SIGINT - $cmd "${args[@]}" 2> log.dot || export status=$? + $cmd "${args[@]}" 2> $dot_file || export status=$? write_log_file exit $status ;;