arduino / arduino/Arduino

Can't load 3rd party board support on proxy connection

Open
#8,312 0 comments 0 reactions 1 assignee Claimed by @cmaglie View on GitHub
Component: Board/Lib Manager Component: Proxy Type: Bug
Dominant language
Java
Stars
14.6k
Forks
7k
PR merge metrics
No merged PRs in 30d

Description

I want to use 3rd party board openCR on proxy connection.
But, can't download board configuration.
proxy set: HTTP, Host name: 10.112.1.184:8080

When i try boards Manager,
In 1.8.8, EVEN default configuration not downloaded.
```
c:\arduino_debug.exe
Loading configuration...
Initializing packages...
Preparing boards...
Starting...
Using proxy HTTP @ /10.112.1.184:8080
Error downloading https://downloads.arduino.cc/packages/package_index.json
java.lang.RuntimeException: java.lang.Exception: Error downloading https://downloads.arduino.cc/packages/package_index.json
```
In 1.8.1, default configuration loaded, but 3rd party configuration not downloaded.
```
c:\arduino_debug.exe
Loading configuration...
Initializing packages...
Preparing boards...
Starting...
Using proxy HTTP @ /10.112.1.184:8080
Using proxy HTTP @ /10.112.1.184:8080
Using proxy HTTP @ /10.112.1.184:8080
Error downloading https://raw.githubusercontent.com/ROBOTIS-GIT/OpenCR/master/arduino/opencr_release/package_opencr_index.json
```
As i see, difference between 1.8.1 and 1.8.8 are,
1.8.1 : **http**://downloads.arduino.cc/packages/package_index.json
1.8.8 : **https**://downloads.arduino.cc/packages/package_index.json

It means, **https proxy are not work properly**.

How can i download 3rd board configuration on proxy connection?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.