You asked, I heard you. #curl --resolve with wildcard support for port number:
github.com/curl/curl/pull/1398…
Let's you do this to redirect all host names against all ports used in the cmdline to 127.0.0.1:
curl --resolve *:*:127.0.0.1 example.com
CURLOPT_RESOLVE: support "*" for port number by bagder · Pull Request #13984 · curl/curl
Allow resolves for a hostname independent of port number, to a fixed address. Resolves to a fixed port number have priority. Also works if the hostname itself is using "*" to catch all hostnames. A...GitHub
daniel:// stenberg://
Unknown parent • • •Olaf Bohlen
in reply to daniel:// stenberg:// • • •Christian
in reply to daniel:// stenberg:// • • •Robbert
in reply to daniel:// stenberg:// • • •