Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Arduino boards and libraries should be installable without internet #2981

Open
WestfW opened this issue Apr 15, 2015 · 5 comments
Open

Arduino boards and libraries should be installable without internet #2981

WestfW opened this issue Apr 15, 2015 · 5 comments
Labels
Component: Board/Lib Manager Boards Manager or Library Manager feature request A request to make an enhancement (not a bug fix)

Comments

@WestfW
Copy link
Contributor

WestfW commented Apr 15, 2015

In various situations, ranging from restrictive or expensive venues, to remote areas with poor internet service, it is desirable to be able to install the Arduino IDE (multiple compilers, and libraries) without a viable internet connection.

Ideally, I think you should be able to read the .json files from a directory, and have the content picked from the same place. Perhaps as a preference: "install from: [Internet | "
(not unlike searching for new windows drivers, in fact.)
@ffissore ffissore added the Component: Board/Lib Manager Boards Manager or Library Manager label Apr 15, 2015
@q2dg

This comment has been minimized.

Sign in to view
@ffissore ffissore self-assigned this May 20, 2015
@ffissore ffissore added the feature request A request to make an enhancement (not a bug fix) label Jun 3, 2015
@al1-24

This comment has been minimized.

Sign in to view
@lmihalkovic lmihalkovic mentioned this issue Jan 20, 2016
Open
@per1234

This comment has been minimized.

Sign in to view
@ghost
Copy link

ghost commented May 30, 2020 •
edited by ghost
Loading

I did something should be work to install board ZIP file offline and manually:
https://deve-sp.blogspot.com/2020/05/zip-boards-manager-how-to-install.html

@JoshuaOlu
Copy link

Has this issue been officially fixed?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component: Board/Lib Manager Boards Manager or Library Manager feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@WestfW @ffissore @q2dg @al1-24 @per1234 @JoshuaOlu