VSCode tips

Platform specific settings

I asked the following questions in my personal Telegram group one day...

And my friend FluorineDog enlightened me that the ${env:variable} syntax could be a workaround.

E.g. create an environment variable in the name of EXE_HOME and use the platform-specific executable in the form of ${env:EXE_HOME}/<executable>.

But that's not necessary for LaTeX workshop...

But I actually only want to solve the compilation problem of my $\LaTeX$ workshop: I sometimes compile locally on my personal laptop, which has ; and sometimes on a server w/ Debian 11. The solution for my problem is actually simple: set up TEXMFHOME on each machine.

To be specific, add the following line in your .bashrc or .zshrc or .whatever-rc:

export TEXMFHOME="/path/to/your/latexmk"

Change VSCode Remote installation directory

Use remote.SSH.serverInstallPath to change the installation directory of the VSCode Remote extension.

Important if: 1. you have a small root partition; 2. you want to install the extension on a network drive.

{ // settings.json
    // ...
    "remote.SSH.serverInstallPath": {
        "work": "/test/location", // foramt:  "hostname": "/path/to/install"
        "home": "/foobar"
    },
    // ...
}