Skip to content

Allow library manager to install JAR files to tools directory #10827

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

Open
alexhutnik opened this issue Oct 2, 2020 · 0 comments
Open

Allow library manager to install JAR files to tools directory #10827

alexhutnik opened this issue Oct 2, 2020 · 0 comments
Labels
Component: IDE The Arduino IDE feature request A request to make an enhancement (not a bug fix) Type: Improvement This proposal is considered to be especially beneficial

Comments

@alexhutnik
Copy link

When developing 3rd party libraries, it is sometimes handy to have some 3rd party tools (i.e. available via the Tools menu). It would be nice if there was a way to package a tool along with its associated library and have both assets install to their respective locations.

Some questions to think about:

  1. Security of including 3rd party JAR files in Arduino install
  2. Will this interfere with code signing on, for example, recent versions of OS X
  3. Right now the current mechanism when installing a 3rd party tool is to have the user download a JAR file and then place it in the tools directory in a particular way so that it is picked up by the IDE. Maybe this process could be improved upon? Perhaps a dialog box that asks for a URL and the user simply pastes a string that is fetched, unzipped, and installed.
@facchinm facchinm added Component: IDE The Arduino IDE Type: Improvement This proposal is considered to be especially beneficial labels Oct 2, 2020
@per1234 per1234 added the feature request A request to make an enhancement (not a bug fix) label Oct 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE The Arduino IDE feature request A request to make an enhancement (not a bug fix) Type: Improvement This proposal is considered to be especially beneficial
Projects
None yet
Development

No branches or pull requests

3 participants