Skip to content

Instantly share code, notes, and snippets.

@dermesser
Created March 22, 2023 16:33
Show Gist options
  • Save dermesser/7a1596a6b1d9c23028d04f3698d88142 to your computer and use it in GitHub Desktop.
Save dermesser/7a1596a6b1d9c23028d04f3698d88142 to your computer and use it in GitHub Desktop.
Place this in e.g. ~/.local/share/etc/jupyter/jupyter_server_config.d/julialsp.json - that should be enough for julia-ls to work. (obviously install LanguageServer first)
{
"LanguageServerManager": {
"language_servers": {
"julia-lsp": {
"version": 2,
"argv": ["/home/lbo/bin/julia", "-e", "using LanguageServer; runserver()"],
"languages": ["julia"],
"mime_types": ["text/julia", "text/x-julia"],
"display_name": "JuliaLSP"
}
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment