Timestamp beim ping

ping www.google.de | while read pong; do echo „$(date): $pong“; done

Quelle: https://stackoverflow.com/questions/10679807/how-do-i-timestamp-every-ping-result