CODEWITHSUNDEEP
bashpipecommand-line-interfaceio-redirection
Echows
Echows

Reputation: 317

Redirecting piped command into a file in bash

I'm trying to do the following:

ping some.server.com | grep -Po '(?<=\=)[0-9].\.[0-9]' >> file.dat

i.e. I run a command (ping), grep part of the output and redirect the result of grep into a file to be inspected later. While the command itself works (i.e. the part before '>>'), nothing gets written into the file.

How do I do this correctly?

Upvotes: 0

Views: 59

Answers (1)

James
James

Reputation: 2518

Use --line-buffered argument.

ping some.server.com | grep --line-buffered -Po '(?<=\=)[0-9].\.[0-9]' >> file.dat

Upvotes: 1

Related Questions