diff --git a/devcontainer_example.json b/devcontainer_example.json new file mode 100644 index 0000000000000000000000000000000000000000..5a0dc416a8dd00680c541640fa0db3222c614e4a --- /dev/null +++ b/devcontainer_example.json @@ -0,0 +1,14 @@ +{ + "name": "LaTex", + "workspaceFolder": "/workdir", + "workspaceMount": "source=${localWorkspaceFolder},target=/workdir,type=bind,consistency=delegated", + "remoteUser": "vscode", + "image": "andrijoos/devcontainer-latex:latest", + "customizations": { + "vscode": { + "extensions": [ + "James-Yu.latex-workshop" + ] + } + } +}