Mix does not work for proxies

Question

I always used mix as a proxy, at least only 2 weeks ago. However, I found that the connection becomes unable to work for the proxy yesterday. The version for mixing is 1.1.1. mix local.hex works. But mix deps.get contains errors.

$ mix deps.get
Registry update failed (http_error)
{:failed_connect, [{:to_address, {'s3.amazonaws.com', 443}}, {:inet, [:inet], :nxdomain}]}
Running dependency resolution
Dependency resolution completed successfully
  combine: v0.5.3
  floki: v0.6.1
  hackney: v1.3.2
  httpoison: v0.7.4
  idna: v1.0.2
  mochiweb: v2.12.2
  ssl_verify_hostname: v1.0.5
  timex: v0.19.5
  tzdata: v0.5.4
* Getting httpoison (Hex package)
Checking package (https://s3.amazonaws.com/s3.hex.pm/tarballs/httpoison-0.7.4.tar)
Request failed: {:failed_connect, [{:to_address, {'s3.amazonaws.com', 443}}, {:inet, [:inet], :nxdomain}]}
** (Mix) Package fetch failed and no cached copy available

Proxies are set by HTTP_PROXY and HTTPS_PROXY. I also installed .gitconfig as:

[http]
  proxy = http://proxy.mycompany.co.jp:10080
[https]
  proxy = http://proxy.mycompany.co.jp:10080
[url "https://"]
  insteadOf = git://

This is a proxy problem and is there any workaround?

Answer 1

Hex, ​​ (, -). , https://github.com/hexpm/hex mix install, . mix local.hex .