Daniel Chao f15ad6ec06 Change CLI flag and Gradle name for proxy options (#526) ...

Rationale: "proxy" can mean very different things (e.g. java.lang.reflect.Proxy in Java).
This makes the flag name more specific.

CLI:
* `--proxy` -> `--http-proxy`
* `--no-proxy` -> `--http-no-proxy`

Gradle:
* `proxyAddress` -> `httpProxy`
* `noProxy` -> `httpNoProxy`

2024-06-14 08:08:21 -07:00

..

cli-common-options.adoc

Change CLI flag and Gradle name for proxy options (#526)

2024-06-14 08:08:21 -07:00

cli-project-options.adoc

Initial commit

2024-02-01 14:00:22 -08:00