-
-
Notifications
You must be signed in to change notification settings - Fork 399
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
IDE doesn't start when proxy configuration is required to access network #1438
Comments
TODOs on the IDE2 side:
TODOs on the CLI side:
|
Once #1662 is available from the Requests going through the new Theia service can pick up proxy configurations from the settings. It's suboptimal for IDE2, as half of the proxy settings are stored in the |
This comment was marked as duplicate.
This comment was marked as duplicate.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as duplicate.
This comment was marked as duplicate.
Hello, according to the information from here Proxy Auto-Configuration file is a js script with FindProxyForURL, Node.js function executes this script from the command line. You can get the result of the execution and substitute it automatically into the function that uses the settings:
|
This comment was marked as duplicate.
This comment was marked as duplicate.
With the workaround, it should works even if it is not user friendly. One thing we noticed is we update the IDE thanks the update notification, the network configuration set in the arduino-cli.yaml is not preserved. |
Describe the problem
I've installed the new official release 2.0.0 (on Windows 10 and Linux Ubuntu 20.04 LTS) from archive.
When launching it, I got this windows and nothing happen.
The logs show it fails when network access are performed:
Third step:
So I've added manually the proxy setting in the newly created config
~/.arduinoIDE/arduino-cli.yaml
(linux)Finally I was able to get the IDE properly started.
To reproduce
Works behind a proxy.
Expected behavior
Maybe partially linked to #29
Arduino IDE version
2.0.0
Operating system
Operating system version
Additional context
Workaround
<username>
is your Windows username)~/.arduinoIDE/
folder may be hidden by default in your file manager and terminal.~/.arduinoIDE/
folder is hidden by default. You can make it visible by pressing the Command+Shift+. keyboard shortcut.<proxy scheme>
: the URL scheme for your proxy server.One of the following;
http
socks5
<username>
: the username of your proxy server credentials.<password>
: the password of your proxy server credentials.<proxy address>
: the address of your proxy server.<port>
: the port of your proxy server.Additional reports
Related
Issue checklist
The text was updated successfully, but these errors were encountered: