config/companion_libs/ppl.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Mon Nov 29 00:26:39 2010 +0100 (2010-11-29) |
| changeset 2205 |
62b3f52315b3 |
| parent 1535 |
073d351bdcd3
|
| child 2318 |
11c21c4c5c51 |
| permissions |
-rw-r--r-- |
scripts: recover on partially downloaded files
Download to an intermediate temp file, and rename it to its final
name only of download succeeds.
This catches both a failed download, and also the case where the user
interrupts the download. Thus, the a partial download gets discarded,
and we no longer try to extract a partial tarball, which we would
previously have done.
Suggested by Thomas PETAZZONI.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>