On Friday, May 31, 2024, Chet Ramey <chet.ra...@case.edu> wrote: > > Thanks for the report. Since this occurs when read(2) returns a partial > buffer on an interrupt, I think we can handle it in read_builtin(). >
Okay, handle how though? Leave the file offset at the last byte read before the interrupt or where the last successful read command left it? -- Oğuz
