-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[QUESTION] Editing the default settings.json #26
Comments
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. |
If you're on Windows, it's in |
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 < ***@***.***> 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
<#26 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABDEIOSZGVC2WI3UVC3LHJLRWIVVBANCNFSM4N34OMEA>
.
|
So, to confirm:
Is that correct? |
Ah, looks like that isn't the file that gets used. You'd need to edit the That's not what I'd expect, but that seems to work. |
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 < ***@***.***> 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
<#26 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABDEIOXIAYAGQRQCQ6RIFDLRWKLOFANCNFSM4N34OMEA>
.
|
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?
The text was updated successfully, but these errors were encountered: