-
Notifications
You must be signed in to change notification settings - Fork 31
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
No more global psc-ide-server #156
Comments
Yep, I expect to tackle this one. |
Some prior art to look into is how the Atom and VSCode plugin as well as pscid handle it, they generate a .psc-ide-port file in the project root with a random port: (Part of the idea here is that different tools can share the same server instance. Useful if you're doing pair programming with two editors, or if you like the |
I don't think a temp file with the port is necessary. Once there's a server buffer for a certain directory, it's easy enough to go from any purescript buffer to the server buffer for a parent directory. |
That's what I meant with:
I'm sure it's easy enough to handle within Emacs, but then you're not interoperating with other tools. |
Interesting. Do people currently use |
You can do it right now by just telling Usually when I try to design a feature I don't use myself I do a bad job :D |
Simple is good! Thanks for the explanation.
SAME |
Currently, the
psc-ide-server
is global per emacs instance. It should be per-project instead of per-emacs.The text was updated successfully, but these errors were encountered: