From 63c0623a5e779f680b3d83f650bfa4c52872d578 Mon Sep 17 00:00:00 2001
From: ed <s@ocv.me>
Date: Fri, 12 Feb 2021 19:47:18 +0100
Subject: [PATCH] vscode: windows support

---
 .vscode/settings.json | 8 +-------
 .vscode/tasks.json    | 2 +-
 2 files changed, 2 insertions(+), 8 deletions(-)

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"
         }
     ]