From 4b57b51e087dcf02d5886c3b601d573964ac944e Mon Sep 17 00:00:00 2001
From: andis <andis@fet.at>
Date: Thu, 7 Jan 2021 20:02:22 +0000
Subject: [PATCH] settings and workspace

---
 .workspace.theia-workspace => .theia-workspace | 4 +++-
 fet2020/.theia/settings.json                   | 7 ++++++-
 2 files changed, 9 insertions(+), 2 deletions(-)
 rename .workspace.theia-workspace => .theia-workspace (67%)

diff --git a/.workspace.theia-workspace b/.theia-workspace
similarity index 67%
rename from .workspace.theia-workspace
rename to .theia-workspace
index abf2af2a..a7ed602f 100644
--- a/.workspace.theia-workspace
+++ b/.theia-workspace
@@ -5,5 +5,7 @@
          "path": "fet2020"
       }
    ],
-   "settings": {}
+"settings": {
+    "launch": {}
+}
 }
\ No newline at end of file
diff --git a/fet2020/.theia/settings.json b/fet2020/.theia/settings.json
index 60400e38..555f49cf 100644
--- a/fet2020/.theia/settings.json
+++ b/fet2020/.theia/settings.json
@@ -4,5 +4,10 @@
     ],
     "python.testing.unittestEnabled": false,
     "python.testing.nosetestsEnabled": false,
-    "python.testing.pytestEnabled": true
+    "python.testing.pytestEnabled": true,
+    "python.pythonPath": "/usr/local/bin/python3",
+    "python.linting.pylintEnabled": true,
+    "python.linting.flake8Enabled": true,
+    "python.linting.banditEnabled": true,
+    "python.linting.enabled": true
 }
\ No newline at end of file