add micropico

new file:   .micropico
	new file:   .vscode/extensions.json
	new file:   .vscode/settings.json
This commit is contained in:
Tomas Krejci 2024-05-13 22:02:47 +02:00
parent b774c1152a
commit bc32cc5e30
3 changed files with 27 additions and 0 deletions

3
.micropico Normal file
View File

@ -0,0 +1,3 @@
{
"info": "This file is just used to identify a project folder."
}

8
.vscode/extensions.json vendored Normal file
View File

@ -0,0 +1,8 @@
{
"recommendations": [
"ms-python.python",
"visualstudioexptteam.vscodeintellicode",
"ms-python.vscode-pylance",
"paulober.pico-w-go"
]
}

16
.vscode/settings.json vendored Normal file
View File

@ -0,0 +1,16 @@
{
"python.linting.enabled": true,
"python.languageServer": "Pylance",
"python.analysis.typeCheckingMode": "basic",
"python.analysis.diagnosticSeverityOverrides": {
"reportMissingModuleSource": "none"
},
"micropico.syncFolder": "",
"micropico.openOnStart": true,
"python.analysis.typeshedPaths": [
"~/.micropico-stubs/included"
],
"python.analysis.extraPaths": [
"~/.micropico-stubs/included"
]
}