Defer noProxy to settings.pkl or PklProject if not set explicitly (#1143)

Fixes an issue where `http.noProxy` settings are ignored.
2026-03-20 00:04:05 +01:00 · 2025-07-23 10:57:31 -07:00
parent bdf6aa6b60
commit 7c8c4438d5
3 changed files with 95 additions and 1 deletions
--- a/pkl-commons-cli/src/main/kotlin/org/pkl/commons/cli/commands/BaseOptions.kt
+++ b/pkl-commons-cli/src/main/kotlin/org/pkl/commons/cli/commands/BaseOptions.kt
@@ -321,7 +321,7 @@ class BaseOptions : OptionGroup() {
      noProject = projectOptions?.noProject ?: false,
      caCertificates = caCertificates,
      httpProxy = proxy,
-      httpNoProxy = noProxy ?: emptyList(),
+      httpNoProxy = noProxy,
      httpRewrites = httpRewrites.ifEmpty { null },
      externalModuleReaders = externalModuleReaders,
      externalResourceReaders = externalResourceReaders,