that's a very interesting point and example. TCP is normally lossless and byte-for-byte before data is forwarded to the application. I think your example may illustrate a loophole - truncation.
It'd only work if, like your example, it was the truncation that caused the flub. You can't have random corruption.
Does curl in a pipeline really behave that way - if the connection is interrupted (TCP RESET), does it just end the pipe? It probably actually does, from what I see.
It's an interesting edge case.
Personally I use, which would seem more immune:
curl -o /tmp/a
vi /tmp/a
{get bored easily, fuckit}
sh /tmp/a
It'd only work if, like your example, it was the truncation that caused the flub. You can't have random corruption.
Does curl in a pipeline really behave that way - if the connection is interrupted (TCP RESET), does it just end the pipe? It probably actually does, from what I see.
It's an interesting edge case.
Personally I use, which would seem more immune: