From 4e0cb59e10da7f39d65d1f9d30f4214e1a80de01 Mon Sep 17 00:00:00 2001
From: Andri Joos <andri@joos.io>
Date: Fri, 4 Oct 2024 14:40:13 +0200
Subject: [PATCH] add devcontainer_example.json
---
devcontainer_example.json | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 devcontainer_example.json
diff --git a/devcontainer_example.json b/devcontainer_example.json
new file mode 100644
index 0000000..5a0dc41
--- /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"
+ ]
+ }
+ }
+}
--
GitLab