Agreed, the .json file should determine the main file. Not the folder name. I agree too! Otherwise, what's the point of the sketch field in the generated .vscode/arduino.json?!

If you want to make your Arduino project more compact, an Arduino Shield is the answer. The Arduino Shield is a neat piece of hardware that sits on top of your Arduino board. It is typically designed ...

This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.