> what happens if curl is interrupted? Absolutely nothing. The script is written intelligently, so an interrupted download just results in a syntax error. Spec

> what happens if curl is interrupted? Absolutely nothing. The script is written intelligently, so an interrupted download just results in a syntax error. Specifically, the entire file is wrapped in {}, and if the terminating } is missing, sh will throw an "unexpected end of file" error instead of executing anything.