Revert "Remove --request GET workaround for HEAD requests."

This commit is contained in:
Mike McQuaid 2023-03-31 09:07:02 +01:00 committed by GitHub
parent 771ee5cb99
commit ec15acf7dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions

View File

@ -464,7 +464,7 @@ class CurlDownloadStrategy < AbstractFileDownloadStrategy
end end
output, _, _status = curl_output( output, _, _status = curl_output(
"--location", "--silent", "--head", url.to_s, "--location", "--silent", "--head", "--request", "GET", url.to_s,
timeout: timeout timeout: timeout
) )
parsed_output = parse_curl_output(output) parsed_output = parse_curl_output(output)

View File

@ -59,6 +59,8 @@ module Homebrew
PAGE_HEADERS_CURL_ARGS = ([ PAGE_HEADERS_CURL_ARGS = ([
# We only need the response head (not the body) # We only need the response head (not the body)
"--head", "--head",
# Some servers may not allow a HEAD request, so we use GET
"--request", "GET"
] + DEFAULT_CURL_ARGS).freeze ] + DEFAULT_CURL_ARGS).freeze
# `curl` arguments used in `Strategy#page_content` method. # `curl` arguments used in `Strategy#page_content` method.