Project

General

Profile

Bug #3470

arduino: Has a package manager

GNUtoo - about 1 year ago - . Updated 10 months ago.

Status:
confirmed
Priority:
freedom issue
Assignee:
-
% Done:

0%

Description

The package manager is available in "Tools" -> "Board: [...]" -> "Boards Manager".

I've no idea of it's policies, so we need to look if the repository is fully free software. If it's fully free it might be OK FSDG wise.

I've also added an entry in the Libreplanet Wiki about it: https://libreplanet.org/wiki/Group:Software/research/ExternalRepositories

History

#1

Updated by GNUtoo about 1 year ago

  • Priority changed from bug to freedom issue
#2

Updated by wael 10 months ago

Looking under the repositories here: https://github.com/arduino
It seems that all the cores are free software.
An argument can be made though that we cannot vet third party repositories that the user can add after downloading this.
Maybe a possible solution is pre-configuring a set of vetted repositories?

Also available in: Atom PDF