Выход не перенаправляется в файл

Я испытываю странность (или, вернее говоря, незнание Linux).

Я хочу узнать распределение вероятности запросов ping, поэтому я подумал, что какое-то время я буду ping какой-то случайный сайт, grep вывод, чтобы сохранить только ms, а затем перенаправить на файл. Я делаю это.

ping www.doggiedooley.com | grep -o "[[:digit:]]*.[[:digit:]]* ms" > ping.txt 

Я возлагал большие надежды на эту команду, но даже если файл создан, он ничего не содержит, даже через некоторое время. Если я удалю перенаправление, будет показан вывод. Я могу даже перенаправить вывод успешно на другой терминал.

 ping www.doggiedooley.com | grep -o "[[:digit:]]*.[[:digit:]]* ms" > /dev/pts/1 

Почему первая команда работает неправильно?