add workspace for vscode

2024-12-16 19:22:51 +01:00 · 2024-12-16 19:22:51 +01:00 · bfbcb4a517
commit bfbcb4a517
parent 8236ebadaf
1 changed files with 40 additions and 0 deletions
--- a/fault_injection_async25_paper.code-workspace
+++ 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"
+	}
+}