Commit b3401361 authored by Alexander Povel's avatar Alexander Povel Committed by Alexander Povel
Browse files

Add more essential VSCode extensions

parent a7689dda
Pipeline #120754 passed with stages
in 5 minutes and 25 seconds
......@@ -8,8 +8,12 @@
"terminal.integrated.shell.linux": "/bin/bash"
},
// Add the IDs of extensions you want installed when the container is created.
// Browse for extensions here: https://marketplace.visualstudio.com/
// then look for 'Unique Identifier' on the extension's page.
"extensions": [
"James-Yu.latex-workshop"
"James-Yu.latex-workshop",
"streetsidesoftware.code-spell-checker",
"streetsidesoftware.code-spell-checker-german"
],
"containerEnv": {
// Inside the container, we want to compile like we are in CI, hence define this
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment