Разница между --noproxy и --no-proxy CURL?

Question

Я не могу найти какую-либо документацию по нему, или, может быть, это просто странное поведение ...

У меня есть такая команда curl (упрощенная), что она выполняется на сервере за прокси-сервером,и я не хочу использовать прокси для определенного маршрута:

curl toto:1337/api -> не работает из-за прокси

curl toto:1337/api --no-proxy toto:1337/api -> работает нормально ...

curl toto:1337/api --noproxy toto:1337/api -> не работает (работает с прокси)

curl toto:1337/api --noproxy toto -> работает отлично ...

Любой может объяснить разницу или ссылку нанекоторые документы для --no-proxy?

Спасибо

Answer 1

Я открыл проблему на github: https://github.com/curl/curl/issues/3906

Это было исправлено, так что он генерирует ошибку для небулевых опций (--no в --no-proxy на самом деле --proxy слогическое false).

Да, потому что --no-proxy будет действовать точно так же, как --proxy.Префикс --no- имеет значение только для логических параметров командной строки.