Custom environment variables are ignored in codex

Coding with ChatGPT
1

To get maven to work, you need to set the same environment similar to gradle. The key

MAVEN_OPTS

should be

-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy -Dhttps.proxyPort=8080

But when I set this environment variable it didn’t work. Checking it with echo $MAVEN_OPTS shows it’s not present.

I was able to work around this by running the command

MAVEN_OPTS=“-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy -Dhttps.proxyPort=8080”

in setup. To be clear, there are 3 bugs here:

  1. maven should be installed by default
  2. maven_opts should be set like gradle_opts
  3. custom environment variables are being ignored