Update script run-time to output minutes too

ElectricRCAircraftGuy · Dec 30, 2019 · 9a152c1 · 9a152c1
1 parent 94b1b6d
commit 9a152c1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/pdf2searchablepdf.sh b/pdf2searchablepdf.sh
@@ -187,6 +187,9 @@ fi
 
 end=$SECONDS
 duration_sec=$(( end - start ))
-echo -e "\nTotal script run-time: $duration_sec sec"
+# Get duration in min too; see my ans here: 
+# https://stackoverflow.com/questions/12722095/how-do-i-use-floating-point-division-in-bash/58479867#58479867
+duration_min=$(printf %.3f $(echo "$duration_sec/60" | bc -l))
+echo -e "\nTotal script run-time: $duration_sec sec ($duration_min min)"
 
 echo "END OF pdf2searchablepdf."
diff --git a/test_imgs_searchable.pdf b/test_imgs_searchable.pdf