Skip to main content

​
Configuration sources

Properties are read in the following priority order (highest priority first):
  1. Environment variables (DIFFBLUE_AGENTS_PROXY_HOST=proxy.example.com)
  2. User config file (~/.diffblue/agents/config.properties)
Environment variable names are derived from property names by converting to uppercase and replacing dots and hyphens with underscores. For example, diffblue.agents.proxy.host becomes DIFFBLUE_AGENTS_PROXY_HOST.

​
Proxy configuration

Route outbound server traffic through a corporate HTTP proxy. This applies to license validation and telemetry.
PropertyEnvironment variableDescription
diffblue.agents.proxy.hostDIFFBLUE_AGENTS_PROXY_HOSTProxy server hostname or IP address
diffblue.agents.proxy.portDIFFBLUE_AGENTS_PROXY_PORTProxy server port
diffblue.agents.proxy.usernameDIFFBLUE_AGENTS_PROXY_USERNAMEUsername for proxy authentication
diffblue.agents.proxy.passwordDIFFBLUE_AGENTS_PROXY_PASSWORDPassword for proxy authentication
The proxy is enabled when both host and port are set. If only one is set, the proxy is not used. Authentication credentials are optional — set both username and password if the proxy requires authentication.

​
Configure via environment variables

export DIFFBLUE_AGENTS_PROXY_HOST=proxy.example.com
export DIFFBLUE_AGENTS_PROXY_PORT=8080
export DIFFBLUE_AGENTS_PROXY_USERNAME=myuser
export DIFFBLUE_AGENTS_PROXY_PASSWORD=mypassword

​
Configure via config file

Create or edit ~/.diffblue/agents/config.properties: 
diffblue.agents.proxy.host=proxy.example.com
diffblue.agents.proxy.port=8080
diffblue.agents.proxy.username=myuser
diffblue.agents.proxy.password=mypassword