[Barrelfish-users] FYI, a Fix for /tools/scc/watchall.sh

[Simon Peter]

Thanks for your patch!

> - trap "pkill -P $$" SIGINT can not kill previous cat process properly,
> so each time I'll get a "device
> busy" error

Can you point out why it is failing? It seems to be working here. 
Unfortunately, your fix will end up killing any cat process in the 
system, which is not desirable.

> - "cat /dev/crbif0rb0c${i}ttyS0 | grep . --line-buffered &" in the for
> loop can not display the
> outputs properly: only empty lines are printed.

Thanks for fixing this one. I'm not sure why it prints only empty lines 
in your case, though I see no problem applying your fix.

Simon