diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-09-29 23:03:45 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-09-29 23:04:30 +0100 |
| commit | 416704fb4e284770798a914c93434e3d91e6b900 (patch) | |
| tree | be7ad5fe71b05090790a1d3ea5d433f01af03d89 /config/dependencies/debian | |
| parent | 6519cea9cff998d3484cbbbb3fbbedb886b93dfd (diff) | |
include/blobutil: try curl first, then wget
Don't use only wget. Some systems may only have curl.
The user can always install wget anyway, but why not
support both? I've added the right user agent string.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/dependencies/debian')
0 files changed, 0 insertions, 0 deletions