From bfbcb4a5175b60afc282307cc99d68fc59d6d514 Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Mon, 16 Dec 2024 19:22:51 +0100
Subject: [PATCH] add workspace for vscode

---
 fault_injection_async25_paper.code-workspace | 40 ++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 fault_injection_async25_paper.code-workspace

diff --git a/fault_injection_async25_paper.code-workspace b/fault_injection_async25_paper.code-workspace
new file mode 100644
index 0000000..50566bb
--- /dev/null
+++ b/fault_injection_async25_paper.code-workspace
@@ -0,0 +1,40 @@
+{
+	"folders": [
+		{
+			"path": "."
+		}
+	],
+	"settings": {
+		"latex-workshop.latex.recipes":[
+		    {
+		        "name": "pdflatex, makeglossaries, pdflatex (2x)",
+		        "tools": [
+		            "pdflatex",
+		            "makeglossaries",
+		            "pdflatex",
+		            "pdflatex"
+		        ]
+		    },
+		],
+		"latex-workshop.latex.tools":[
+		    {
+		        "name": "pdflatex",
+		        "command": "pdflatex",
+		        "args": [
+		            "-synctex=1",
+		            "-interaction=nonstopmode",
+		            "-file-line-error",
+		            "%DOC%"
+		        ]
+		    },
+		    {
+		        "name": "makeglossaries",
+		        "command": "makeglossaries",
+		        "args": [
+		          "%DOCFILE%"
+		        ]
+		      }
+		],
+		"editor.wordWrap": "on"
+	}
+}
\ No newline at end of file