arduino / arduino-cli

Arduino command line tool
https://arduino.github.io/arduino-cli/latest/
GNU General Public License v3.0
4.24k stars 371 forks source link

Add an option to ignore default index #2532

Open pillo79 opened 5 months ago

pillo79 commented 5 months ago

Describe the request

The CLI always automatically pulls the latest package_index.json from the web, and uses that in all requests (core search etc). For CI purposes, it would be helpful to add an option to allow it to only load a specific set of URLs (for example, the files just being signed) to check that only their contents are reported.

Describe the current behavior

The CLI always loads the main package_index.json. The current workaround described in #2529 will break without warning.

Arduino CLI version

0.35.2

Operating system

N/A

Operating system version

--

Additional context

No response

Issue checklist