Should this extension use the same `arduino.json` for settings as the other extensions?

PeterWone / vscode-arduino-cli

Integration of the Arduino CLI into VS Code

Other

9 stars 2 forks source link

Should this extension use the same `arduino.json` for settings as the other extensions? #10

Open trullock opened 3 years ago

trullock commented 3 years ago

Presumably the Arduino specific strings in there should be directly compatible?

Would make adoption/migration to this project much easier, plus all the poor souls in the future who are googling problems don't need the confusion of slightly differently named settings keys