diff --git a/.vscode/settings.json b/.vscode/settings.json index 214453da..39864dc8 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -50,15 +50,9 @@ "files.associations": { "*.makefile": "makefile" }, - "editor.codeActionsOnSaveTimeout": 9001, - "editor.formatOnSaveTimeout": 9001, - // - // things you may wanna edit: - // - "python.pythonPath": "/usr/bin/python3", "python.formatting.blackArgs": [ "-t", "py27" ], - //"python.linting.enabled": true, + "python.linting.enabled": true, } \ No newline at end of file diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 2e2a134c..592d8710 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -8,7 +8,7 @@ }, { "label": "no_dbg", - "command": "${config:python.pythonPath} -m copyparty -ed -emp -e2d -e2s -a ed:wark -v srv::r:aed:cnodupe &&false", + "command": "${config:python.pythonPath} -m copyparty -ed -emp -e2d -e2s -a ed:wark -v srv::r:aed:cnodupe ;exit 1", "type": "shell" } ]