-
Notifications
You must be signed in to change notification settings - Fork 31
Description
I've got a purescript project that I need to edit remotely over TRAMP. I've ensured the remote machine has spago
and friends. However, when I ran psc-ide-server-start
from a purescript buffer and gave it the dir that containts spago.dhall, it couldn't find spago. I suspect that's actually the core issue going on here.
I determined that it was actually running the command locally because the output was different once I installed spago
on my local machine. Now running psc-ide-server-start
produces the following *SPAGO ERRORS*
buffer:
spago: There's no "spago.dhall" in your current location.
If you already have a spago project you might be in the wrong subdirectory,
otherwise you might want to run `spago init` to initialize a new project.
Even though there definitely is a spago.dhall
in the directory I give to psc-ide-server-start
.
From what I've gathered so far, start-process
can be replaced with start-file-process
which is equivalent except when started from tramp it is smart enough to spawn the process remotely. Likewise, call-process
becomes process-file
. I've tried making these modifications to my copy of psc-ide.el but this didn't resolve the issue.
I think maybe a pragmatic and easy solution (if possible) would be to allow you to invoke psc-ide mode and just assume that the process is already running and talk to it over port 4242 or whatever, perhaps a variant of start that takes the host and port. Then, folks working on remote servers can just start the process themselves and either port forward or supply the whole host.