added signal handler to cleanup at user break

OSGeo · Nov 24, 2024 · 8ccc15d · 8ccc15d
1 parent 7524c52
commit 8ccc15d
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/utils/grass_html2md.sh b/utils/grass_html2md.sh
@@ -24,6 +24,22 @@ set -eu
 #
 ###############################################################################
 
+# cleanup at user break
+cleanup()
+{
+   rm -f "${f%%.html}_tmp.html"
+}
+
+# what to do in case of user break:
+exitprocedure()
+{
+   echo "User break!"
+   cleanup
+   exit 1
+}
+# shell check for user break (signal list: trap -l)
+trap "exitprocedure" 2 3 15
+
 # path to LUA file (./utils/pandoc_codeblock.lua)
 UTILSPATH="utils"