Arduino: Рассмотрите возможность добавления нового репозитория специально для управления добавлением (и удалением) библиотек в диспетчере библиотек.

Созданный на 30 мая 2017 · 3Комментарии · Источник: arduino/Arduino

Я чувствую, что они берут значительное количество проблем в этом репозитории и выходят из-под контроля для поиска реальных проблем, связанных с менеджером правления. Или, возможно, к ним можно было бы добавить метку add-library-request , чтобы можно было занести их в черный список во время поиска.

BoarLib Manager feature request

Источник

feikname

👍7

Самый полезный комментарий

Звучит как хороший план! Помимо того, что они загромождают список проблем, они также вызывают много шума среди уведомлений по электронной почте о проблемах.

На самом деле, возможно, конфигурационный файл / список библиотек менеджера доски (который, как я полагаю, существует) можно управлять в git, поэтому люди могут даже сами отправлять PR для добавления библиотек?