Closed viperML closed 1 year ago
The location of the server is currently hardcoded into ~/.vscode-server.
~/.vscode-server
This PR allows to change this path from the default, if the user changed this location in VS code settings.
Good point and thank you for your contribution! In have included your work in #42.
The location of the server is currently hardcoded into
~/.vscode-server
.This PR allows to change this path from the default, if the user changed this location in VS code settings.