Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: Proxy Agent usage #427

Merged

Conversation

carstencodes
Copy link
Contributor

The proxy variable will be used correctly. The HTTPS_PROXY / HTTP_PROXY will be used, if PROTOLINT_PROXY is not set.

Evaluation takes place: if the remote url starts with https, HTTPS_PROXY will be used, otherwise HTTP_PROXY will be used.
This interpretation is questionable, but makes sense in the first place.

Closes #426

The proxy variable will be used correctly. The HTTPS_PROXY / HTTP_PROXY
will be used, if PROTOLINT_PROXY is not set.

Evaluation takes place: if the remote url starts with https, HTTPS_PROXY
will be used, otherwise HTTP_PROXY will be used.
This interpretation is questionable, but makes sense in the first place.

Closes yoheimuta#426
@pekarasa
Copy link

Hello carsencodes,
works fine, just downloaded and tested.
Thank you very much!

Copy link

@pekarasa pekarasa left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

works fine

@carstencodes
Copy link
Contributor Author

Great. I just figured out, that this might be odd, if you don't want to use a proxy at all. So I would also add PROTOLINT_NO_PROXY ignoring all proxy settings tonight.

Maybe useful in airgapped scenarios
Useful for airgapped scenarios
@carstencodes
Copy link
Contributor Author

So, no proxy can be disabled in air-gapped scenarios.

Copy link
Owner

@yoheimuta yoheimuta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the fix 👍

@yoheimuta yoheimuta merged commit 5b01353 into yoheimuta:master Jul 31, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Bug: Missing 'new' in https://github.com/yoheimuta/protolint/blob/master/bdist/js/install.mjs
3 participants