c_cpp_preferences.json does not generate #1517
Description
I am new to Arduino, and was annoyed with the Arduino IDE's poor ui customization, so i wanted to try this extension instead. I have read through countless different issues, issue comments, faqs, stackoverflow pages etc. for the last 3h and i am pretty dull by now so i'll probably forget some important details - sorry in advance.
The initial issue was that vsc gives me a wiggly line and a problem entry for each native Arduino function/variable.
I have found issues about that here, but they were closed with #1141, so i looked in the .vscode folder and c_cpp_preferences.json was not there.
I have tried the entry in the command palette and the keybind multiple times, but it doesn't do anything. I have tried to manually add that file but didn't get it to work, so i need the file that i should get from the extension.
The c_cpp_preferences.json file i am currently using makes the initial problem go away, but i still get an error about
cannot open source file "pins_arduino.h" (dependency of "C:\Program Files (x86)\Arduino\hardware\arduino\avr\cores\arduino\Arduino.h")
While i am pretty confident i have identified the problem, as the file not getting generated, i do not have any clue about the cause of this problem.
Side note: I also came across https://github.com/microsoft/vscode-arduino/wiki/FAQ which just links to two removed sites and hasn't been changed since 2017 so i ignored it, even though it seemed to relate to my prolem at first... should probably be removed?
I don't really know what information could otherwise be helpful.