From a434d7f1ae57b64805fd99fc123ec9bdbbd8c575 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Monta=C3=B1ana?= <rmontanana@gmail.com>
Date: Sat, 30 Sep 2023 18:44:21 +0200
Subject: [PATCH] Add a Linux config in launch.json

---
 .vscode/launch.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.vscode/launch.json b/.vscode/launch.json
index 26ae62b..393a25e 100644
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -66,7 +66,8 @@
             "name": "list",
             "program": "${workspaceFolder}/build/src/Platform/b_list",
             "args": [],
-            "cwd": "/Users/rmontanana/Code/discretizbench",
+            //"cwd": "/Users/rmontanana/Code/discretizbench",
+            "cwd": "/home/rmontanana/Code/covbench",
         },
         {
             "name": "Build & debug active file",