diff options
author | 2010-11-16 16:49:15 (GMT) | |
---|---|---|
committer | 2010-11-16 16:49:15 (GMT) | |
commit | af6dd3f3f0a81a39ed9bb595f70127845de5e3f6 (patch) | |
tree | 96216d4c6be3061c9692bb8419d7fc7174a706ca /docs/0 - Table of content.txt | |
parent | 9dbbc8e5f6edf0e1386b4ba28d96918fa64fa2b5 (diff) |
scripts: call curl and wget in sequence
It can happen, in some circumpstances, than one can succeed where
the other would fail. Those cases involves convoluted enterprise
networks with proxies playing tricks.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'docs/0 - Table of content.txt')
0 files changed, 0 insertions, 0 deletions