Skip to content

Use system proxy settings #3279

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

Merged
merged 1 commit into from
Jun 4, 2015
Merged

Use system proxy settings #3279

merged 1 commit into from
Jun 4, 2015

Conversation

ffissore
Copy link
Contributor

@ffissore ffissore commented Jun 3, 2015

Some network setups use proxies. Some of these networks have complex proxy configurations. Dealing with all of them complicates the IDE.
This PR allows the IDE to use system proxy settings: since users in proxied networks will probably have their PC already set up, they will not need to configure the IDE

@ffissore ffissore added the Component: IDE The Arduino IDE label Jun 3, 2015
@ffissore ffissore self-assigned this Jun 3, 2015
@ffissore ffissore added this to the Release 1.6.5 milestone Jun 3, 2015
ffissore added a commit that referenced this pull request Jun 4, 2015
@ffissore ffissore merged commit 0ae4f0b into arduino:master Jun 4, 2015
@ffissore ffissore deleted the system-proxy-settings branch June 4, 2015 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE The Arduino IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants