Skip to content

Added simple no proxy functionality#4117

Open
zie-pao wants to merge 1 commit intoScoopInstaller:masterfrom
zie-pao:feature/simple-no-proxy
Open

Added simple no proxy functionality#4117
zie-pao wants to merge 1 commit intoScoopInstaller:masterfrom
zie-pao:feature/simple-no-proxy

Conversation

@zie-pao
Copy link
Copy Markdown

@zie-pao zie-pao commented Sep 21, 2020

I tried to implement a simnple no proxy mechanism. It sets the no proxy environment variable for git requests and removed the proxy on installation of the url matches (like) the no proxy host.

I am not aware of othere parts in the code where these changes have to be done but so far it works for me. This should also fix #1820

$wreq.headers.add('Cookie', (cookie_header $cookies))

if($no_proxy) {
if($reqUrl -like "*$no_proxy*") {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

i think the matching should be improved. having the url example.org and NO_PROXY= 192.168.0.1,localhost,www.example.org would lead to a match but should not match. also NO_PROXY should also support wildcards *,example.org

@philippe-granet
Copy link
Copy Markdown

philippe-granet commented Jan 24, 2026

A new updated PR to fix this problem: #6550

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.

can proxy be applied conditionally based on the url?

3 participants