Skip to content

Better manager of installed libraries #938

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

Closed
3 tasks done
VladimirVecera opened this issue Apr 3, 2022 · 1 comment
Closed
3 tasks done

Better manager of installed libraries #938

VladimirVecera opened this issue Apr 3, 2022 · 1 comment
Assignees
Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@VladimirVecera
Copy link

Describe the request

Is it possible to include a filter in the library overview in the future? For example, show only installed or who received an update? I have also noticed that not all arduino libraries as such gives users a view. Many of them are needed on Github.com, but they are not included in the Arduino library itself. Make some central database.

Describe the current behavior

It is poorly searched in libraries.

Arduino IDE version

RC5

Operating system

Windows

Operating system version

Windows10

Additional context

No response

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@VladimirVecera VladimirVecera added the type: enhancement Proposed improvement label Apr 3, 2022
@per1234
Copy link
Contributor

per1234 commented Apr 3, 2022

Hi @VladimirVecera. Thanks for taking the time to submit an issue.

Is it possible to include a filter in the library overview in the future? For example, show only installed or who received an update?

I see we have another report about this at #177.

I have also noticed that not all arduino libraries as such gives users a view. Many of them are needed on Github.com, but they are not included in the Arduino library itself. Make some central database.

There is a known bug that causes the Library Manager search results to be incomplete when there are a lot of results:

#716

If you instead are referring to the fact that not all 3rd party Arduino libraries are in the Arduino Library Manager at all, that is because they are submitted by the community, so the library will only be in the Library Manager if someone from the community made the submission already. Everyone is welcome to submit missing libraries. You can learn how to do that here:

https://github.com/arduino/library-registry#adding-a-library-to-library-manager

It is best to have only a single issue per subject so we can consolidate all relevant discussion to one place, so I'll go ahead and close this in favor of the others.

If you end up with additional information to share, feel free to comment in the other threads.

@per1234 per1234 closed this as completed Apr 3, 2022
@per1234 per1234 self-assigned this Apr 3, 2022
@per1234 per1234 added topic: code Related to content of the project itself conclusion: duplicate Has already been submitted labels Apr 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

No branches or pull requests

2 participants