dotter

commit d81db88cb23e22e52926040e89e7f68827eea50a
parent 4684b2819766c97c7382737b9c8014295954c27f
Author: Morel Bérenger <berengermorel76@gmail.com>
Date:   Mon, 11 Jan 2021 19:47:59 +0100

watcher: kill spawn on HUP/INT

Diffstat:
M
watcher
 | 
9
+++++++++

1 file changed, 9 insertions(+), 0 deletions(-)
diff --git a/watcher b/watcher
@@ -1,13 +1,22 @@
 #!/bin/sh
 
+kill_viewer()
+{
+	kill $TPID
+	exit
+}
+
 SOURCE="${1:?"SOURCE required as 1st arg"}"
 VIEWER="${2:?"VIEWER required as 2nd arg"}"
 SCRIPT="${3:?"SCRIPT required as 3rd arg"}"
 TPID=""
 
+trap kill_viewer HUP INT
+
 while true
 do
 	FOCUS=$(xdotool getwindowfocus -f)
+	echo focus on $FOCUS
 	if test -e "$SOURCE"
 	then
 		./$SCRIPT "${SOURCE}" | dot -Tpdf | $VIEWER &