Closed themagiulio closed 1 month ago
Thank you for your contribution. I vote a yes to this PR.
My commits makes this to work only in GNU/Linux and macOS as I modified only the bash scripts.
This is the remaining concern. Generally, we'd like to avoid platform-specific configs. Any solution?
Thank you for creating this great extension.
This is the remaining concern. Generally, we'd like to avoid platform-specific configs. Any solution?
We just need to edit the bat files to invoke the program specified by the env variable LATEXWORKSHOP_DOCKER_PATH
instead of docker
. I am not a Windows user and I have never tinkered with bat files. The change should be simple to apply, but I don't know the syntax.
Currently LaTeX Workshop supports only
docker
and it expects to have it in PATH. This small PR addresses this problem by creating a new configdocker.path
allowing the user to customize the location ofdocker
.This config makes also possible to use
podman
, a drop-in replacement ofdocker
as explained in #1130, by settingdocker.path
topodman
.My commits makes this to work only in GNU/Linux and macOS as I modified only the bash scripts. Modifying the powershell scripts would make this fix available to Windows users as well.