From c03617daf9f29fdbb2172fb248d6609264fb33c6 Mon Sep 17 00:00:00 2001
From: TheAnyKey <ich@simonroth.de>
Date: Tue, 30 Jun 2020 16:25:44 +0000
Subject: [PATCH] Setup vs code and theia/gitpod for debugging rust"

---
 .gitpod.Dockerfile   |  7 +++++++
 .gitpod.yml          |  4 ++++
 .theia/launch.json   | 16 ++++++++++++++++
 .theia/settings.json | 12 ++++++++++++
 4 files changed, 39 insertions(+)
 create mode 100644 .theia/launch.json
 create mode 100644 .theia/settings.json

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 546e02fd17..0a54e9d39a 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -11,4 +11,11 @@ RUN rm -rf ~/.rustup && \
     curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh && \
     rustup target add wasm32-unknown-unknown
 
+RUN sudo apt-get -q update \
+    && sudo apt-get install -yq \
+        libpython3.6 \
+        rust-lldb \
+    && sudo rm -rf /var/lib/apt/lists/*
+ENV RUST_LLDB=/usr/bin/lldb-8
+
 USER root
diff --git a/.gitpod.yml b/.gitpod.yml
index 527c76d392..7f2eea913f 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,2 +1,6 @@
 image:
   file: .gitpod.Dockerfile
+
+vscode:
+  extensions:
+    - vadimcn.vscode-lldb@1.5.3:vTh/rWhvJ5nQpeAVsD20QA==
\ No newline at end of file
diff --git a/.theia/launch.json b/.theia/launch.json
new file mode 100644
index 0000000000..699c72ee9d
--- /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": [
+      {
+          "type": "lldb",
+          "request": "launch",
+          "name": "Debug Rust Code",
+          //"preLaunchTask": "cargo",
+          "program": "${workspaceFolder}/target/debug/rustpython",
+          "cwd": "${workspaceFolder}",
+          //"valuesFormatting": "parseText"
+      }
+  ]
+}
diff --git a/.theia/settings.json b/.theia/settings.json
new file mode 100644
index 0000000000..61f1988751
--- /dev/null
+++ b/.theia/settings.json
@@ -0,0 +1,12 @@
+{
+    "cpp.buildConfigurations": [
+        {
+            "name": "",
+            "directory": ""
+        },
+        {
+            "name": "",
+            "directory": ""
+        }
+    ]
+}
\ No newline at end of file