> ## Documentation Index
> Fetch the complete documentation index at: https://docs.diffblue.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Network configuration

> Configure proxy settings for Diffblue Agents in corporate network environments

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

| Property                         | Environment variable             | Description                         |
| -------------------------------- | -------------------------------- | ----------------------------------- |
| `diffblue.agents.proxy.host`     | `DIFFBLUE_AGENTS_PROXY_HOST`     | Proxy server hostname or IP address |
| `diffblue.agents.proxy.port`     | `DIFFBLUE_AGENTS_PROXY_PORT`     | Proxy server port                   |
| `diffblue.agents.proxy.username` | `DIFFBLUE_AGENTS_PROXY_USERNAME` | Username for proxy authentication   |
| `diffblue.agents.proxy.password` | `DIFFBLUE_AGENTS_PROXY_PASSWORD` | Password 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

```bash theme={null}
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`:

```properties theme={null}
diffblue.agents.proxy.host=proxy.example.com
diffblue.agents.proxy.port=8080
diffblue.agents.proxy.username=myuser
diffblue.agents.proxy.password=mypassword
```