From 2da853946e7d6627d4ce7cb600afdf7f12fc3a13 Mon Sep 17 00:00:00 2001
From: Andreas Stephanides <andis@fet.at>
Date: Fri, 1 Jan 2021 20:39:15 +0000
Subject: [PATCH] theia settings

---
 .theia/launch.json   | 16 ++++++++++++++++
 .theia/settings.json |  3 +++
 2 files changed, 19 insertions(+)
 create mode 100644 .theia/launch.json
 create mode 100644 .theia/settings.json

diff --git a/.theia/launch.json b/.theia/launch.json
new file mode 100644
index 0000000..d97275b
--- /dev/null
+++ b/.theia/launch.json
@@ -0,0 +1,16 @@
+{
+  // Use IntelliSense to learn about possible attributes.
+  // Hover to view descriptions of existing attributes.
+  "version": "0.2.0",
+  "configurations": [
+       {
+    "name": "Python: Flask",
+    "type": "python",
+    "request": "launch",
+    "program": "test2.py",
+    "console": "integratedTerminal",
+    "args": [
+    ]//,"django": true
+}
+  ]
+}
diff --git a/.theia/settings.json b/.theia/settings.json
new file mode 100644
index 0000000..988937c
--- /dev/null
+++ b/.theia/settings.json
@@ -0,0 +1,3 @@
+{
+    "python.pythonPath": "/usr/local/bin/python3"
+}
\ No newline at end of file