X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=prof-tail;h=d605d370ca0b865144d81329d89257a259ed69c0;hb=ef708570f1f42d9bb54ddc5b7b0432de4f761eb0;hp=9830747337c8aa0852435e6ab024e08641e48ffd;hpb=523b7ff889aaafdcd997d84b2a06744993018e89;p=distro-setup

diff --git a/prof-tail b/prof-tail
index 9830747..d605d37 100644
--- a/prof-tail
+++ b/prof-tail
@@ -1,6 +1,10 @@
 #!/bin/bash
-set -e; . /usr/local/lib/err; set +e
+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