search

drewwhis / pybricks-stubs

Typing for EV3 Python programming (using the LEGO® pybricks)
MIT License
22 stars 6 forks source link

[QUESTION] Editing the default settings.json #26

Closed KawaGeo closed 4 years ago

KawaGeo commented 4 years ago

How do we edit the default settings.json so that we don't have to edit the settings.json every time we create a new project?

drewwhis commented 4 years ago

That's something that's managed by the LEGO MINDSTORMS EV3 MicroPython extension. You would have to find where that extension stores the template for the settings.json file and edit the template.

drewwhis commented 4 years ago

If you're on Windows, it's in %USERPROFILE%\.vscode\extensions\lego-education.ev3-micropython-2.0.0\resources\template\.vscode

KawaGeo commented 4 years ago

I followed your suggestion with a small modification, "template.vscode" -> "template.vscode" and reboot the Windows OS. Nothing has changed.

On Fri, Jun 12, 2020 at 6:38 AM Lawrence (Drew) Whisenant < notifications@github.com> wrote:

If you're on Windows, it's in %USERPROFILE%.vscode\extensions\lego-education.ev3-micropython-2.0.0\resources\template.vscode

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drewwhis/pybricks-stubs/issues/26#issuecomment-643275202, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABDEIOSZGVC2WI3UVC3LHJLRWIVVBANCNFSM4N34OMEA .

drewwhis commented 4 years ago

So, to confirm: 1) You edited the settings.json file in %USERPROFILE%\.vscode\extensions\lego-education.ev3-micropython-2.0.0\resources\template\.vscode to change the setting. 2) You created a new project after making that change. 3) The new project's settings file did not have the setting you put in the template.

Is that correct?

drewwhis commented 4 years ago

Ah, looks like that isn't the file that gets used.

You'd need to edit the settings.json file in this directory instead: %USERPROFILE%\.vscode\extensions\lego-education.ev3-micropython-2.0.0\resources\projects\new_project\.vscode

That's not what I'd expect, but that seems to work.

KawaGeo commented 4 years ago

Finally, it works. It is the new project folder to change anything you want, including main.py file.

On Fri, Jun 12, 2020 at 2:17 PM Lawrence (Drew) Whisenant < notifications@github.com> wrote:

Ah, looks like that isn't the file that gets used.

You'd need to edit the settings.json file in this directory instead: %USERPROFILE%.vscode\extensions\lego-education.ev3-micropython-2.0.0\resources\projects\new_project.vscode

That's not what I'd expect, but that seems to work.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drewwhis/pybricks-stubs/issues/26#issuecomment-643486851, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABDEIOXIAYAGQRQCQ6RIFDLRWKLOFANCNFSM4N34OMEA .