Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Having trouble running remote server #37

Open
kenkangxgwe opened this issue Feb 10, 2021 · 0 comments
Open

Having trouble running remote server #37

kenkangxgwe opened this issue Feb 10, 2021 · 0 comments

Comments

@kenkangxgwe
Copy link
Owner

Hi @Gravifer , did you open a remote file with a local VSCode. If so, can you open a local file with the server running correctly?

Yes, the server is working smoothly on local files.

In the former comment, I was actually trying to link the server with a WolframEngine kernel on the remote machine, by modifying the remote:SSH settings.json, specifying the path of wolfram on the remote machine, as well as the path to the clone of this repo on the remote machine. There are several possible combinations:

kernel language server file current status
1 local local local neato ditto
2 remote remote remote ZMQ exception
3 local remote remote to try
4 remote local remote to try
5 remote local remote to try

I'll update my testing results here ASAP.

P.S.: At this point it seems that support for remoting could actually be a separate feature request, and may not really fit in the thread of this issue. Feel free to move this discussion to a new open issue if needed.

Originally posted by @Gravifer in #36 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant