Per Tillisch
Per Tillisch
It is a common practice for boards platforms to contain [platform bundled libraries](https://arduino.github.io/arduino-cli/dev/platform-specification/#platform-bundled-libraries) that are a variant of a common library distributed via Library Manager, modified to be compatible with...
The new [pluggable monitor](https://arduino.github.io/arduino-cli/dev/platform-specification/#pluggable-monitor) system allows platform authors to specify an arbitrary monitor tool to use for each communication protocol. For backwards compatibility, when no pluggable monitor is specified, the...
### Describe the problem [The Arduino CLI daemon](https://arduino.github.io/arduino-cli/dev/commands/arduino-cli_daemon/) scans the installed libraries when a gRPC client instance is [initialized](https://arduino.github.io/arduino-cli/dev/rpc/commands/#initrequest). Library installation operations are based on the data from the scan....
### Describe the problem In order to make it easier for beginners to get started with writing Arduino sketches, and for the convenience of all users, Arduino CLI [automatically generates...
### Describe the problem The `--no-overwrite` flag (https://github.com/arduino/arduino-cli/pull/1793) prevents `arduino-cli lib install` from installing a library if this would result in a change to any existing library installation. In addition...
### Describe the request If an [Arduino boards platform](https://arduino.github.io/arduino-cli/dev/platform-specification/) was installed via [`core install`](https://arduino.github.io/arduino-cli/dev/commands/arduino-cli_core_install/) (as indicated by it being located under `/packages` AKA [`github.com/arduino/arduino-cli/arduino/cores/packagemanager.PackageManager.PackagesDir`](https://github.com/arduino/arduino-cli/blob/813cfe73a466245222d6cd0aef2d181a91c56d3e/arduino/cores/packagemanager/package_manager.go#L44)), but that platform is not listed...
### Describe the request Implement [the "**Using a default profile**" component](https://github.com/arduino/tooling-rfcs/blob/main/RFCs/0003-build-profiles.md#using-a-default-profile) of [the "**Sketch build profiles and reproducible builds**" RFC](https://github.com/arduino/tooling-rfcs/blob/main/RFCs/0003-build-profiles.md). ### Describe the current behavior The majority of the "**Sketch...
## Bug Report ### Current behavior Some output is not printed in the format specified by the user when they use the new `jsonmini` or `yaml` options (https://github.com/arduino/arduino-cli/pull/1586, https://github.com/arduino/arduino-cli/pull/1600) with...
### Describe the request Establish two sets of standard "extra flags" build properties: - one set for use by platform developer - one set for use by the user These...
Using Arduino IDE 1.9.0 Beta build 58 and Arduino IDE 1.8.6 Hourly Build 2018-05-15 10:41 1. File > Preferences > Show verbose output during: > compilation (check) > OK 1....