Skip to content

Instantly share code, notes, and snippets.

@CUEICHI
Last active December 8, 2023 04:23
Show Gist options
  • Select an option

  • Save CUEICHI/8f0065e24e80c471abc8131981e22cf6 to your computer and use it in GitHub Desktop.

Select an option

Save CUEICHI/8f0065e24e80c471abc8131981e22cf6 to your computer and use it in GitHub Desktop.
LaTeX Workshop / docker paperlist/texlive-ja 対応の vscode settings.json for Windows
{
"files.autoSave": "onFocusChange",
"files.autoSaveDelay": 200,
"editor.renderControlCharacters": true,
"gitlens.defaultDateStyle": "absolute",
"latex-workshop.docker.enabled": true,
"latex-workshop.docker.image.latex": "paperist/texlive-ja:latest",
"latex-workshop.latex.autoClean.run": "onBuilt",
"latex-workshop.latex.autoBuild.run": "onSave",
"latex-workshop.view.pdf.viewer": "tab",
"latex-workshop.latex.tools": [
{
"name": "latexmk",
"command": "latexmk",
"args": ["-gg", "%DOC%"]
}
],
"latex-workshop.latex.recipes": [
{
"name": "latexmk",
"tools": [
"latexmk"
]
},
],
"terminal.integrated.profiles.osx": {
"TeXShell": {
"overrideName": true,
"path": "docker",
"args": [
"run",
"--rm",
"-it",
"-v",
"$PWD:/workdir",
"paperist/texlive-ja:latest"
]
}
},
"terminal.integrated.profiles.windows": {
"TeXShell": {
"overrideName": true,
"path": "docker.exe",
"args": [
"run",
"--rm",
"-it",
"-v",
"${workspaceFolder}:/workdir",
"paperist/texlive-ja:latest"
]
}
},
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment