This repository was archived by the owner on Oct 1, 2024. It is now read-only.
This repository was archived by the owner on Oct 1, 2024. It is now read-only.
Set custom Arduino IDE preferences #1464
Closed
Description
Hi there, I'm looking into the documentation, but haven't quite figured this out yet.
Is there a way to pass some preferences
to the ide? The command line would be something like --pref key=value
, but I was wondering if there is a way to set such configuration in arduino.json
, and have it be passed using the setPref()
method call:
vscode-arduino/src/arduino/arduino.ts
Line 135 in 2a47a35
So maybe I could write config like this:
{
"preferences": {
"upload.tool": "avrdude_custom"
}
}
Metadata
Metadata
Assignees
Labels
No labels