ping結果を単純な形式（例：「10ms」）で印刷します。

「ping -c 1 www.google.com」を実行するたびに、次のような結果が表示されます。

PING www.google.com (xxx.xx.xxx.xxx) 56(84) bytes of data.
64 bytes from xxxxxxxx-xx-xxxxxxxxxx.net (xxx.xx.xxx.xxx): icmp_seq=1 ttl=56 
time=25.8 ms

--- www.google.com ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 25.816/25.816/25.816/0.000 ms

しかし、次のような単純な形式でpingを印刷したいと思います。

[23:00:25] 25.8 ms

この目標をどのように達成できますか？これまで私は試しました

ping -c 1 www.google.com | grep -oP '(?<=time\s/)w+' > ping.txt

時間なしでpingを印刷しますが、推測できるように動作しません。