Re: Possible bug with grep/sed/tail?

[Paolo Bonzini]

> Is there currently a way to do that? This problem has certainly caught
> me out in the past (admittedly about ten years ago).

sed has -u (unbuffered).  I guess you can then emulate grep with "sed
-un /foo/p".

Paolo