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.

Sign up for GitHub

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

Jump to bottom

TRAMP support? #39

Open
jagot opened this issue Apr 11, 2023 · 1 comment · May be fixed by #40
Open

TRAMP support? #39

jagot opened this issue Apr 11, 2023 · 1 comment · May be fixed by #40

Comments

@jagot
Copy link

jagot commented Apr 11, 2023

I'd be curious to try this out, but I wonder if it will work for my use-case; rather often I work over SSH, with Emacs running locally. I would typically have a project folder with {Project,Manifest}.toml and most often some packages checked out for development under ~/.julia/dev/ (on the remote host).

How can I get started? AFAIU eglot supports TRAMP: sailfishos-mirror/emacs@2076d34
@jagot
Copy link
Author

jagot commented Apr 11, 2023

I managed to get it working by cloning this repository on the remote machine, opening a file in the project using TRAMP and then running M-x eglot. I then had to provide the full paths (relative to the remote machine, i.e. without /ssh:host:) to 1 Julia, 2 the eglot-jl directory, 3 the elgot-jl.jl file, and 4 the directory of my project. I can probably avoid having to do so manually every time using .dir-locals.el (https://www.gnu.org/software/emacs/manual/html_node/emacs/Directory-Variables.html), however eglot-jl.jl seems to be hardcoded to be in the same directory as eglot-jl.el:

eglot-jl/eglot-jl.el

Line 36 in 2e04597

(defconst eglot-jl-base (file-name-directory load-file-name))

which of course resides on my local machine, and not on the remote host. This can maybe be changed in the future?

jagot added a commit to jagot/eglot-jl that referenced this issue Apr 12, 2023
@jagot
Minor modifications to support working over TRAMP
fa408e1 
Closes non-Jedi#39
@jagot jagot linked a pull request Apr 12, 2023 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Support working remotely over TRAMP jagot/eglot-jl
1 participant
@jagot