`/tmp/lsp.log` doesn't work for a shared server

[hoichi]

Currently, the language server crashes for me when I work on a remote server (via a Remote - SSH plugin), with the following message:

Error: Command failed: /home/sergey/.vscode-server/extensions/chenglou92.rescript-vscode-1.0.2/server/linux/rescript-editor-support.exe dump /home/sergey/monorepo/frontend/packages/product-calendar/src/components/PcLink.res:19:14
Fatal error: exception Sys_error("/tmp/lsp.log: Permission denied")

And this is because /tmp/lsp.log is created and owned by my teammate, not by me. Deleting the file resolves the problem.

But even if we figure out the file permissions, won't it mean that only one person at a time is able to work at one particular machine? That would be unfortunate because the server is meant to be used for development by many people at once.

[hoichi]

As a workaround, setting a TMPDIR variable for every user should help. Unfortunately, I haven't figured out exactly how to set that variable so that the lang server can consume it. E.g., setting it in .profile on the remote machine doesn't seem to work.