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