From 4467b77e64175a828ef800f41ab48535e50e6a89 Mon Sep 17 00:00:00 2001
From: andis <andis@fet.at>
Date: Thu, 7 Jan 2021 20:08:33 +0000
Subject: [PATCH] linting

---
 .theia-workspace | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.theia-workspace b/.theia-workspace
index a7ed602f..c94c9c93 100644
--- a/.theia-workspace
+++ b/.theia-workspace
@@ -6,6 +6,9 @@
       }
    ],
 "settings": {
-    "launch": {}
+    "launch": {},
+    "python.linting.flake8Enabled": true,
+    "python.linting.banditEnabled": true,
+    "python.testing.pytestEnabled": true
 }
 }
\ No newline at end of file