How to configure proxy in zed settings?

[ssarraju]

How to configure proxy in zed settings?

[d1y]

FYI:

http_proxy=http://192.168.1.128:1085 https_proxy=http://192.168.1.128:1085 zed project

#6765
https://github.com/zed-industries/zed/pull/6765/files

[SomeoneToIgnore]

So looks like we need a docs entry?
People would not be able to find and read PRs that easy to fetch that info.

[ZTfer]

add "proxy" : "socks5://localhost:10808" or "proxy" : "http://127.0.0.1:10809" in .configs/zed/settings.json file, then press cmd + q to quit zed app, restart zed app, the proxy will work immediately.

[Rik002]

how to include https proxy and moreover, network also requires username and password.

[ZTfer]

try this?
"http://userName:[email protected]:8080"

[ZTfer]

I found some information:
https://github.com/TooTallNate/proxy-agents/tree/main/packages/proxy-agent
https://askubuntu.com/questions/82880/how-do-i-set-a-system-wide-proxy-with-a-username-and-password
https://serverfault.com/questions/1103523/how-do-i-set-http-proxy-and-https-proxy-with-the-username-and-password-with-it-i

Without username & passwords:
"proxy" : "socks5://yourProxyURL.com:8080"
"proxy" : "http://yourProxyURL.com:8080"

With username & passwords:
"proxy" : "socks5://username:[email protected]:8080"
"proxy" : "http://username:[email protected]:8080"

[Rik002]

doesn't work for me, I don't know, tried various combinations. But doesn't seem to change the situation. Moreover, I have http and https for my uni proxy

[1WorldCapture]

btw, you could use shortcut "ctrl + ," or "CMD + ," to open the settings.json, and add "proxy" config to it, mentioned above

[xiaguangbo]

settings.json

{
  "ui_font_size": 16,
  "buffer_font_size": 16,
  "theme": {
    "mode": "system",
    "light": "One Light",
    "dark": "One Dark"
  },
  "proxy" : "http://192.168.1.13:7890"
}

[Set27]

When I use http proxy I have error with npm.
Socks + password does not work.