Skip to content
Snippets Groups Projects
Verified Commit 150bf443 authored by Olivier Benz's avatar Olivier Benz
Browse files

scipy: Pin LaTeX Workshop extension to v9.20.1

parent d88969f9
No related branches found
No related tags found
No related merge requests found
......@@ -131,7 +131,7 @@ RUN dpkgArch="$(dpkg --print-architecture)" \
&& cd / \
## Install code-server extensions
&& code-server --extensions-dir ${CODE_BUILTIN_EXTENSIONS_DIR} --install-extension quarto.quarto \
&& code-server --extensions-dir ${CODE_BUILTIN_EXTENSIONS_DIR} --install-extension James-Yu.latex-workshop \
&& code-server --extensions-dir ${CODE_BUILTIN_EXTENSIONS_DIR} --install-extension James-Yu.latex-workshop@9.20.1 \
## Update default PATH settings in /etc/profile.d/00-reset-path.sh
&& sed -i 's|/opt/code-server/bin|/opt/TinyTeX/bin/linux:/opt/quarto/bin:/opt/code-server/bin|g' /etc/profile.d/00-reset-path.sh \
## Clean up
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment