diff --git a/master_changes.md b/master_changes.md index c031c80e62d..9cc366b9809 100644 --- a/master_changes.md +++ b/master_changes.md @@ -117,6 +117,7 @@ users) ## Internal * Make `curl` the default download tool instead of `wget` on macOS [#6304 @kit-ty-kate] * download tool: Use fetch on DragonFlyBSD and ftp on NetBSD [#6305 @kit-ty-kate] + * Prefer curl over any other download tools on every systems, if available [#6305 @kit-ty-kate] ## Internal: Windows diff --git a/src/repository/opamRepositoryConfig.ml b/src/repository/opamRepositoryConfig.ml index a6e4ae804ad..797020125a5 100644 --- a/src/repository/opamRepositoryConfig.ml +++ b/src/repository/opamRepositoryConfig.ml @@ -60,8 +60,8 @@ let default = { let curl = "curl", `Curl in let tools = match os with - | FreeBSD | DragonFly -> ["fetch", `Default; curl] - | OpenBSD | NetBSD -> ["ftp", `Default; curl] + | FreeBSD | DragonFly -> [curl; "fetch", `Default] + | OpenBSD | NetBSD -> [curl; "ftp", `Default] | Linux | Darwin | Cygwin | Win32 | Unix | Other _ -> [curl; "wget", `Default] in