Open fpistm opened 2 years ago
TODOs on the IDE2 side:
os-proxy-config
from HTTP Toolkit.~/arduinoIDE/arduino-cli.yaml
configuration file inside IDE2 for editing.TODOs on the CLI side:
network#proxy#'auto'
should be supported.Once #1662 is available from the main
, we should look into the new request service from Theia: https://github.com/eclipse-theia/theia/pull/11043
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 arduino-cli.yaml
and the other half in the settings.json
, so in theory, users can mess up their proxy settings by configuring proxyA
in the settings.json
and proxyB
in the CLI config.
Same issue on macos Monterey 12.6.3
arduino ide 2.0.4 nightly
What is a proxy server login?
Same issue with Arduino IDE 2.1.0 for Windows.
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:
network:
proxy: http://<username>:<password>@<proxy>:<port>
I can't use Arduino 2.x at work (university) with my students until this is fixed. I really hope to see soon a fix about it!
I can't use Arduino 2.x at work (university) with my students until this is fixed. I really hope to see soon a fix about it!
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
Hi,
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.
First step:
Log from the console are (Linux):
Same issue on Windows.
It seems the IDE can't connect due to the http_proxy settings (
http_proxy
andhttps_proxy
set as an env variables) anyway, user should be warned an issue occurs.Second step:
After removing the
http_proxy
andhttps_proxy
, the log show it can go further anyway it fails later when other network access are performed. Here the logs (Linux):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 arduino/arduino-ide#29
Arduino IDE version
2.0.0
Operating system
Windows, Linux
Operating system version
Windows10 and Linux ubuntu 20.04 LTS
Additional context
Workaround
(where
<username>
is your Windows username)❗ The
~/.arduinoIDE/
folder may be hidden by default in your file manager and terminal.❗ The
~/.arduinoIDE/
folder is hidden by default. You can make it visible by pressing the Command+Shift+. keyboard shortcut.Where the placeholders are:
<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
Issue checklist