mirror of
https://github.com/resf/distro-tools.git
synced 2024-11-16 18:21:28 +00:00
22 lines
468 B
JSON
22 lines
468 B
JSON
{
|
|
"python.analysis.extraPaths": [
|
|
"bazel-bin",
|
|
".venv/lib/python3.9/site-packages"
|
|
],
|
|
"protoc": {
|
|
"options": ["--proto_path=third_party/googleapis"]
|
|
},
|
|
"python.linting.enabled": true,
|
|
"python.linting.pylintEnabled": true,
|
|
"python.formatting.provider": "yapf",
|
|
"editor.tabSize": 2,
|
|
"editor.insertSpaces": true,
|
|
"editor.formatOnSave": true,
|
|
"[python]": {
|
|
"editor.tabSize": 4
|
|
},
|
|
"[xml]": {
|
|
"editor.formatOnSave": false
|
|
}
|
|
}
|