On 04/24/2017 09:38 AM, Paul Eggert wrote: > Yes, and since the messages you're talking about are supposed to come out > once a second, dd should just omit everything after the decimal point.
Not quite - you can still get them with 'kill -USR1 $pid'. Have a nice day, Berny
