-
-
Notifications
You must be signed in to change notification settings - Fork 388
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
Allow filtering Library Manager search by library name #1535
Comments
Thinking about the syntax here, how about:
The output of the "lib search" command suggests that the available
I think the search command should match qualifier names in a case-insensitive fashion, and accept unique prefixes, so e.g. I know this has been sitting for a while, but does anyone have comments on the above? |
Hi @cmaglie, I see in your last commit to |
Hi @zvonler!
I had a chat with my colleagues about this, we like the
you don't know if the search is:
We also have to consider the case where we want to match multiple words separated by space, in this case we must introduce quoting like:
and, if we want to search the literal
IIRC it has been preserved to allow searching for FQBN like |
Thanks for that, I will work on an implementation of the ':' and '=' features. I'm fine without the regex support, but I will suggest that doing a |
Opened this PR #2373 that does almost everything I suggested - it lacks the partial match support, e.g. "arch" for "architecture". I'm not sure how valuable that is, given that none of the qualifier names are really any longer than the likely strings the user is going to also be typing in. |
Done in: #2373 |
Feature request
Library Manager currently contains over 4000 libraries and more are added every day. An overwhelming number of results may be returned from a search for common keywords (e.g.,
arduino-cli lib search servo
). Arduino CLI does not provide any tools for filtering search results.This becomes much more of a problem in Arduino IDE, where search is used for the sake of navigating the list in addition to browsing to discover new libraries.
It would be useful to be able to provide users with instructions for installing a library which leads them directly to a specific library rather than sifting through a list of libraries. The logical way to accomplish this would be by allowing the user to limit search keyword scope to the
name
field.A fairly standard approach would be to support a "
<qualifier>:<value>
" style search syntax (e.g.,arduino-cli lib search name:servo
). Some evidence this is intuitive here. This would typically result in a search for libraries with "servo" in their name. That does reduce the number of search results, but it doesn't provide the ability to restrict the search to an exact name match (case insensitive). I'm not sure what would be the best way to provide that capability.Even though the motivation for the capability is based on a use case most common to Arduino IDE, it seems to me that the best place to implement it is in Arduino CLI.
Environment
Additional context
Originally requested at https://forum.arduino.cc/t/suggestion-improve-library-manager/847666
Additional requests
Related
The text was updated successfully, but these errors were encountered: