Skip to content

Add support for defining a default build profile #1752

Closed

Description

Describe the request

Implement the "Using a default profile" component of the "Sketch build profiles and reproducible builds" RFC.

Describe the current behavior

The majority of the "Sketch build profiles and reproducible builds" RFC has now been implemented (#1713).

One missing part is the support for the default_profile key of the sketch project file.

🙁 There is currently no way to define a default profile, to be used when the arduino-cli command operating on a sketch with build profiles does not contain a --profile flag.

Arduino CLI version

0.23.0

Operating system

All

Operating system version

N/A

Additional context

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Labels

topic: codeRelated to content of the project itselftype: enhancementProposed improvement

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions