diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2022-12-05 12:33:59 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-12-05 12:33:59 +0200 |
commit | 180fdc20372d6501b8fcabb66e1d3cbda02b35c9 (patch) | |
tree | 07fca93b57017063a39719609e49ac3db2367c66 /build/.gitignore | |
parent | 70e69d52e789eeda4788c061fc404ba98cea09fa (diff) |
Use curl instead of wget as default fetch program
We used to prefer wget 1.16 because it has --show-progress which results in
nicer progress. But experience shows that wget is quite unreliable plus with
bdep always using curl, it would be strange to use both curl and wget (and
expecting the user to setup proxy, authentication, etc., for both).
Also add internal --curl* options to be used by bdep.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions