iankelling.org
/
git
/
distro-setup
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
minor improvements
[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
#!/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
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/@.*//' ||:
$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
sleep 1
-
done
done