5 Commits

Author	SHA1	Message	Date
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
Daniel Chao	3bd9214858	Adjust docs for proxying (#523) ... Update/polish up the documentation around http proxying	2024-06-13 09:46:21 -07:00
Philip K.F. Hölzenspies	b03530ed1f	Add support for HTTP proxying (#506) ... * Add `--proxy` and `--no-proxy` CLI flags * Add property `http` to `pkl:settings` * Move `EvaluatorSettings` from `pkl:Project` to its own module and add property `http` * Add support for proxying in server mode, and through Gradle * Add `setProxy()` to `HttpClient` * Add documentation	2024-06-12 11:54:22 -07:00
Dimitris Apostolou	80aff3afad	Fix typos	2024-02-04 18:55:08 +02:00
Peter Niederwieser	ecad035dca	Initial commit	2024-02-01 14:00:22 -08:00