How to adopt HTTP proxy while downloading pkl packages? #97

Open
opened 2025-12-30 01:20:45 +01:00 by adam · 6 comments
Owner

Originally created by @titaneric on GitHub (Mar 1, 2024).

Hi, I would like to download the pkl packages in the internal network environment? Is it possible to do that in the present pkl versiom?

Not a java expert, if there are any environment variable or properties could be set would be helpful!

Originally created by @titaneric on GitHub (Mar 1, 2024). Hi, I would like to download the pkl packages in the internal network environment? Is it possible to do that in the present pkl versiom? Not a java expert, if there are any environment variable or properties could be set would be helpful!
Author
Owner

@stackoverflow commented on GitHub (Mar 1, 2024):

This feature is very high on our list, hopefully we'll see it in the next version. For now this can't be done in Pkl.

@stackoverflow commented on GitHub (Mar 1, 2024): This feature is very high on our list, hopefully we'll see it in the next version. For now this can't be done in Pkl.
Author
Owner

@titaneric commented on GitHub (Mar 1, 2024):

Thank you! I could patiently wait this upcoming feature!

@titaneric commented on GitHub (Mar 1, 2024): Thank you! I could patiently wait this upcoming feature!
Author
Owner

@odenix commented on GitHub (Mar 7, 2024):

@stackoverflow I'm offering to take this on unless you're already working on it.

@odenix commented on GitHub (Mar 7, 2024): @stackoverflow I'm offering to take this on unless you're already working on it.
Author
Owner

@stackoverflow commented on GitHub (Mar 7, 2024):

@translatenix I'm not working on it and your help is appreciated.
I'd create a discussion for it first where we can discuss the goals and design. Just so we are in the same page.

@stackoverflow commented on GitHub (Mar 7, 2024): @translatenix I'm not working on it and your help is appreciated. I'd create a discussion for it first where we can discuss the goals and design. Just so we are in the same page.
Author
Owner

@odenix commented on GitHub (Mar 11, 2024):

@titaneric Which type of proxy (HTTP, HTTPS, SOCKS) do you use? And which authentication method (if any)?

@odenix commented on GitHub (Mar 11, 2024): @titaneric Which type of proxy (HTTP, HTTPS, SOCKS) do you use? And which authentication method (if any)?
Author
Owner

@titaneric commented on GitHub (Mar 11, 2024):

Hi, we use both HTTP and HTTPS proxy, envoy specifically.
We currently don't use authentication.

@titaneric commented on GitHub (Mar 11, 2024): Hi, we use both HTTP and HTTPS proxy, envoy specifically. We currently don't use authentication.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pkl#97