Configuration sources
Properties are read in the following priority order (highest priority first):- Environment variables (
DIFFBLUE_AGENTS_PROXY_HOST=proxy.example.com) - User config file (
~/.diffblue/agents/config.properties)
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.
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
Configure via config file
Create or edit~/.diffblue/agents/config.properties: