[FR] Installation directory for VS code for remote development

[hahahannes]

Hi all,

I am using the Dev Containers extension and the Kubernetes extension to enable remote development with VS Code. Similar to the Remote-SSH extension, it would be a nice feature to be able to change the installation directory of VS Code.

Current state

At the moment, by default, it will be installed under the home directory.

Why is this needed

The home directory might be not big enough or might be network based file system. Therefore it would be nice to be able to change it, e.g. to be installed under /tmp.

Change

Having an extension setting to change the installation directory similar to how the Remote-SSH extension allows it.

Thanks!