По умолчанию wget основывает имя файла на URL, а не на том, что сервер говорит, что имя файла должно быть. Чтобы позволить серверу выбирать имя файла, используйте опцию
--content-disposition
.
Как отмечено в комментариях, проблема связана с буферизацией. Что вы можете сделать, так это запустить команду с stdbuf
, как показано здесь .
stdbuf -i0 -o0 -e0 tail -f /tmp/test | grep Killed | cut -c -43
Кстати, вы, вероятно, могли бы избавиться от конвейера grep
и cut
и использовать:
stdbuf -i0 -o0 -e0 tail -f /tmp/test | awk '/Killed/{print substr($0,length($0)-43)}'