arduino / arduino/Arduino

Feature Request: Additional Library Manager URLs

Open
#6,879 1 comment 2 reactions 0 assignees View on GitHub
Component: Board/Lib Manager feature request
Dominant language
Java
Stars
14.6k
Forks
7k
PR merge metrics
No merged PRs in 30d

Description

We do have Prefs : Additional Boards Manager URLs

We do not have Prefs : Additional LIbrary Manager URLs

Is there some objection to having Additional Library Manager URLs - or is it simply that it's not been implemented?

I searched the tickets for this but couldn't find anything, it seems like something that should already have at least been brought up as a natural adjunct to Board Manager URLs.

Contributor guide

Open the contributing guide

Research direction

Start in the IDE Preferences handling for Additional Boards Manager URLs and compare it with the Library Manager flow. Clarify the URL format, persistence, and how multiple library indexes are consumed; done means the preference is available and library sources can be loaded with coverage for the new behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
java
Domain
desktop, tooling
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.