code-panda/cp.code-workspace at main · jjleng/code-panda · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
{
  "folders": [
    {
      "name": "cp-agent",
      "path": "cp-agent"
    },
    {
      "name": "cp-runner",
      "path": "cp-runner"
    },
    {
      "name": "cp-webapp",
      "path": "cp-webapp"
    }
  ],
  "settings": {
    "files.exclude": {
      "**/.git": false,
      "**/.DS_Store": true,
      "**/__pycache__": true,
      "**/*.pyc": true
    },
    "python.defaultInterpreterPath": "",
    "[python]": {
      "editor.formatOnSave": true,
      "editor.codeActionsOnSave": {
        "source.organizeImports": "explicit"
      }
    },
    "python.analysis.extraPaths": [],
    "python.linting.mypyEnabled": true,
    "python.linting.enabled": true,
    "isort.args": ["--profile", "black"],
    "python.analysis.typeCheckingMode": "basic",
    "python.linting.mypyArgs": [
      "--ignore-missing-imports",
      "--follow-imports=silent",
      "--show-column-numbers",
      "--strict"
    ],
    "git.ignoredRepositories": [],
    "git.autoRepositoryDetection": "subFolders",
    "git.openRepositoryInParentFolders": "always"
  },
  "launch": {
    "version": "0.2.0",
    "configurations": []
  }
}