Skip to content

Allow filtering Library Manager search by library name #1535

Closed
@per1234

Description

@per1234

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

  • CLI version: nightly-20211101 Commit: f7b22f7 Date: 2021-11-01T01:27:40Z
  • OS and platform: Windows 10

Additional context

Originally requested at https://forum.arduino.cc/t/suggestion-improve-library-manager/847666

Additional requests

Related

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions