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. 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: