scripts to set the proxy configuration for mvn, git, and curl