Skip to content

Instantly share code, notes, and snippets.

@jhordyess
Created September 1, 2022 03:57
Show Gist options
  • Save jhordyess/f5799c39a50f909290a2b41883356f67 to your computer and use it in GitHub Desktop.
Save jhordyess/f5799c39a50f909290a2b41883356f67 to your computer and use it in GitHub Desktop.
Setting project folder for TeX Live as remote container in VS Code
{
"name": "texlive",
"image": "jhordyess/texlive",
"extensions": ["James-Yu.latex-workshop"],
"customizations": {
"vscode": {
"settings": {
"terminal.integrated.defaultProfile.linux": "zsh",
"latex-workshop.latex.autoClean.run": "onBuilt",
"latex-workshop.latex.autoBuild.run": "never",
"latex-workshop.latex.clean.fileTypes": [
"*.aux",
"*.bbl",
"*.blg",
"*.idx",
"*.ind",
"*.lof",
"*.lot",
"*.out",
"*.toc",
"*.acn",
"*.acr",
"*.alg",
"*.glg",
"*.glo",
"*.gls",
"*.fls",
"*.log",
"*.fdb_latexmk",
"*.snm",
"*.synctex(busy)",
"*.synctex.gz(busy)",
"*.nav",
"*.vrb",
"*.synctex.gz",
"*.dvi",
"*.ps"
],
"latex-workshop.latex.recipes": [
{
"name": "latex ➞ dvips ➞ ps2pdf",
"tools": ["latex", "dvips", "ps2pdf"]
},
{
"name": "pdflatex ➞ bibtex ➞ pdflatex`×2",
"tools": ["pdflatex", "bibtex", "pdflatex", "pdflatex"]
},
{
"name": "pdflatex",
"tools": ["pdflatex"]
},
{
"name": "xelatex",
"tools": ["xelatex"]
}
],
"latex-workshop.latex.tools": [
{
"name": "pdflatex",
"command": "pdflatex",
"args": [
"-synctex=1",
"-interaction=nonstopmode",
"-file-line-error",
"%DOC%"
],
"env": {}
},
{
"name": "xelatex",
"command": "xelatex",
"args": [
"-synctex=1",
"-interaction=nonstopmode",
"-file-line-error",
"%DOC%"
],
"env": {}
},
{
"name": "bibtex",
"command": "bibtex",
"args": ["%DOCFILE%"],
"env": {}
},
{
"name": "latex",
"command": "latex",
"args": [
"-synctex=1",
"-interaction=nonstopmode",
"-file-line-error",
"-output-direcory=%OUTDIR%",
"%DOC%"
]
},
{
"name": "dvips",
"command": "dvips",
"args": ["%DOCFILE%"],
"env": {}
},
{
"name": "ps2pdf",
"command": "ps2pdf",
"args": ["%DOCFILE%.ps"],
"env": {}
}
]
}
}
},
"remoteUser": "jhordyess"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment