README

Here is the default workspace, to quick get started.

{
    "folders": [
        {
            "path": "dvtsat/satlib"
        },
        {
            "path": "dvtsat/sat"
        },
        {
            "path": "dvtsat/datacontainer"
        },
        {
            "path": "dvtsat/bt_hci_wrapper"
        },
        {
            "path": "dvtsat/dvtsat",
            "name": "dvtsat"
        }
    ],
    "settings": {
        "terminal.integrated.fontSize": 12,
        "terminal.integrated.fontFamily": "Consolas",
        "editor.cursorBlinking": "smooth",
        "editor.fontFamily": "Consolas",
        "editor.fontSize": 12,
        "editor.insertSpaces": true,
        "editor.detectIndentation": true,
        "files.autoSave": "off",
        "files.trimTrailingWhitespace": true,
        "files.trimFinalNewlines": true,
        "workbench.editor.highlightModifiedTabs": true,
        "workbench.iconTheme": "material-icon-theme",
        "python.pythonPath": "/tools/linux/local-f30/Python3.9.5",
        "python.languageServer": "Pylance",
        "python.linting.pycodestyleEnabled": true,
        "python.linting.pycodestyleArgs": [
            "--ignore=E121,E123,E126,E133,E226,E241,E242,W503,W504,W505,E704,D205,D401,D413",
            "--max-line-length=180"
        ],
        "remoteX11.display": 1,
        "remoteX11.SSH.enable": true,
        "python.analysis.typeCheckingMode": "basic",
        "python.analysis.extraPaths": [
            "./src",
            "../sat",
            "../satlib/src",
            "../datacontainer"
        ],
        "editor.formatOnSaveMode": "modifications",
        "python.formatting.autopep8Args": [
            "--select",
            "E,W"
        ],
    },
    "launch": {
        "version": "0.2.0",
        "configurations": [
            {
                "name":"PY:Attach",
                "type": "python",
                "request": "attach",
                "processId": "${command:pickProcess}"
            },
            {
                "name": "PY:Launch",
                "type": "python",
                "request": "launch",
                "program": "${workspaceFolder:dvtsat}/dvtsat.py",
                "console": "internalConsole",
                "env": {
                    "DISPLAY": ":1"
                },
                "args": [
                    "--devmode", "2",
                    "-r", "debug.yaml",
                    "-t", "testbed.yaml"
                ]
            },
            {
                "name":"PY:File",
                "type": "python",
                "request": "launch",
                "processId": "${file}",
                "console": "internalConsole"
            },
          ]
      },
    "tasks": {
        "version": "2.0.0",
        "tasks": [
            {
                "label": "My Task",
                "type": "shell",
                "command": "echo Hello",
                "problemMatcher": []
            }
        ]
    },
    "extensions": {
        "recommendations": [
            "arunvkumr.dvtsat-essentials"
        ]
    }
}