From 2f6fe213edb75e218cdf152b048fdb8dcbbf9f19 Mon Sep 17 00:00:00 2001 From: Thomas Schouten Date: Sat, 1 Jun 2024 21:06:37 +0200 Subject: [PATCH] Update documentation --- Writerside/topics/Run-configuration-settings.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Writerside/topics/Run-configuration-settings.md b/Writerside/topics/Run-configuration-settings.md index 7e471d349e..5fb8972962 100644 --- a/Writerside/topics/Run-configuration-settings.md +++ b/Writerside/topics/Run-configuration-settings.md @@ -249,6 +249,12 @@ Custom output directories are supported. * You have to login to GitHub to use the Docker image: get a github token from [https://github.com/settings/tokens,](https://github.com/settings/tokens,) save it somewhere secure and run `echo my_token | docker login https://docker.pkg.github.com -u myusername --password-stdin` See [https://help.github.com/en/packages/using-github-packages-with-your-projects-ecosystem/configuring-docker-for-use-with-github-packages#authenticating-to-github-packages](https://help.github.com/en/packages/using-github-packages-with-your-projects-ecosystem/configuring-docker-for-use-with-github-packages#authenticating-to-github-packages) for more info. +### Dockerized TeX Live + +Similar to the MiKTeX docker image, you can also use a texlive docker image if you have it installed. +By default, the official `texlive/texlive` image is used. +If you use IntelliJ, you can select a different image name by creating a LaTeX Docker SDK, see [Project configuration](Project-configuration.md#sdks). + ### TeX Live from WSL _Since b0.6.10_