Add initial VSCode Remote-Containers config

alexpovel · Feb 20, 2021 · b91348d · b91348d
1 parent eb068bd
commit b91348d
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1 @@
+FROM alexpovel/latex
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,18 @@
+{
+ "name": "LaTeX",
+ "build": {
+ "dockerfile": "Dockerfile",
+ },
+ // Set *default* container specific settings.json values on container create.
+ "settings": {
+ "terminal.integrated.shell.linux": "/bin/bash"
+ },
+ // Add the IDs of extensions you want installed when the container is created.
+ "extensions": [
+ "James-Yu.latex-workshop"
+ ],
+ "containerEnv": {
+ "CI": "true",
+ "LANG": ""
+ },
+}