How to use mill with a proxy

[open-af]

Hi all,

I'm trying to use mill with rocket-chip generator. When doing so I get the following error messages, and I'm pretty sure it's due to the proxy server not being right configured. Has anybody an idea how I could do that? The HTTP_PROXY, FTP_PROXY and HTTPS_PROXY variables are already set.

./mill resolve
[build.sc] [13/52] resolvedRunIvyDeps | Downloading [4/4] artifacts (~0/0 bytes)
1 targets failed
resolvedRunIvyDeps 
Resolution failed for 2 modules:
--------------------------------------------
  com.lihaoyi:mill-moduledefs_2.13:0.10.9 
	not found: /home/user/.ivy2/local/com.lihaoyi/mill-moduledefs_2.13/0.10.9/ivys/ivy.xml
	forbidden: https://repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9.pom
  org.scala-lang:scala-library:2.13.12 
	not found: /home/user/.ivy2/local/org.scala-lang/scala-library/2.13.12/ivys/ivy.xml
	forbidden: https://repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.pom

--------------------------------------------

For additional information on library dependencies, see the docs at