fixes

[distro-setup] / prof-tail

diff --git a/prof-tail b/prof-tail
index abfa7186ea020421993f7980565aed26a476b21f..d605d370ca0b865144d81329d89257a259ed69c0 100644 (file)
--- a/prof-tail
+++ b/prof-tail
@@ -1,6 +1,10 @@
 #!/bin/bash
 set -e; . /usr/local/lib/bash-bear; set +e
 
+# kill 0 doesn't seem to be documented in man bash, but it kills the
+# background processes.
+# https://unix.stackexchange.com/questions/67532/what-does-kill-0-do-actually/67552
+trap "kill 0" EXIT
 
 xmpp_users=(
   anoukr
@@ -41,6 +45,6 @@ while true; do
           $logdir/rooms/*/$log_today 2>/dev/null \
     | awk '$3 != "iank:"' | grep -i '\biank\b' | awk '{print $3; fflush()}' | sed 's/^/room /;s/@.*//' ||:
 
+  kill %
   sleep 1
-
 done