tvl-depot/users/Profpatsch/.vscode/settings.json

{
    "sqltools.connections": [
        {
            "previewLimit": 50,
            "driver": "SQLite",
            "name": "cas-serve",
            "database": "${workspaceFolder:Profpatsch}/cas-serve/data.sqlite"
        }
    ],
    "sqltools.useNodeRuntime": true,
    "editor.formatOnSave": true,
    "[typescript]": {
        "editor.defaultFormatter": "esbenp.prettier-vscode"
    },
    "[javascript]": {
        "editor.defaultFormatter": "esbenp.prettier-vscode"
    },
    "[json]": {
        "editor.defaultFormatter": "esbenp.prettier-vscode"
    },
    "purescript.codegenTargets": [
        "corefn"
    ],
    "purescript.foreignExt": "nix"
}