Skip to content

Usage via TRAMP #182

@MichaelXavier

Description

@MichaelXavier

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions