Conclua a solução bash
+ awk
:
while read -r url || [ -n "$url" ]; do
ping -c4 "$url" | awk -F'/' -v u="$url" 'END{ print u,$5 }'
done <urls > results
O conteúdo exemplar do arquivo results
(como resultado do meu teste local):
www.abc.com 207.137
www.facebook.com 39.938
www.youtube.com 35.580
www.google.com 128.124
www.twitch.com 144.557