From b36606ae3707996bcf7073b1a021f98fc4d025eb Mon Sep 17 00:00:00 2001
From: Frank Denzer <fdenzer@uni-mainz.de>
Date: Fri, 2 Jun 2023 15:13:12 +0200
Subject: [PATCH] fix it.rs

---
 hello_world/.vscode/settings.json | 3 +++
 hello_world/src/main.rs           | 8 +++++++-
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 hello_world/.vscode/settings.json

diff --git a/hello_world/.vscode/settings.json b/hello_world/.vscode/settings.json
new file mode 100644
index 0000000..4d7120d
--- /dev/null
+++ b/hello_world/.vscode/settings.json
@@ -0,0 +1,3 @@
+[{
+    "rust-analyzer.cargo.buildScripts.overrideCommand": "cargo check --quiet --workspace --all-targets"
+}]
\ No newline at end of file
diff --git a/hello_world/src/main.rs b/hello_world/src/main.rs
index 6e2bc23..9b63d21 100644
--- a/hello_world/src/main.rs
+++ b/hello_world/src/main.rs
@@ -1,3 +1,9 @@
+/* 
+To actually run hello world in vs code, we need to set the following in ``Preferences: Open user settings'' or the program execution fails
+How fucked up is that?
+[{
+    "rust-analyzer.cargo.buildScripts.overrideCommand": "cargo check --quiet --workspace --all-targets" // here, we removed --message-format=json from the parameter list
+}]*/
 fn main() {
-    println!("[\"Hello, world!\"]");
+    println!("Hello, world!");
 }