Chosto
/
codium-settings
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update settings from , profile « main »

main
Quentin Duchemin 2025-07-28 20:00:01 +02:00
parent ed4b5498d0
commit 4b22c68a7c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
profiles/main/data/settings.json
View File

@ -31,6 +31,7 @@
"latex-workshop.latex.outDir": "%WORKSPACE_FOLDER%/build/", "latex-workshop.latex.outDir": "%WORKSPACE_FOLDER%/build/",
"latex-workshop.view.pdf.viewer": "tab", "latex-workshop.view.pdf.viewer": "tab",
"latex-workshop.latex.recipes": [ "latex-workshop.latex.recipes": [
{ {
"name": "tectonic", "name": "tectonic",
"tools": ["tectonic"] "tools": ["tectonic"]
@ -40,7 +41,7 @@
{ {
"name": "tectonic", "name": "tectonic",
"command": "tectonic", "command": "tectonic",
"args": ["-X", "build", "--keep-intermediates"], "args": ["%DOC_EXT%"],
"env": {} "env": {}
} }
], ],