diff options
author | ChrHorn | 2022-03-15 01:41:36 +0000 |
---|---|---|
committer | GitHub | 2022-03-15 01:41:36 +0000 |
commit | 0902ede7b1d4c7edb8b039235456d552aaf44679 (patch) | |
tree | ff4dabedf087e540f9adaaf3f5e5419adc006e20 | |
parent | 9400d743075375e9c9ad90cc91c5530445d8c304 (diff) |
simplify Julia config (#1811)
* simplify Julia config
* remove trailing whitespace
-rw-r--r-- | languages.toml | 22 |
1 files changed, 7 insertions, 15 deletions
diff --git a/languages.toml b/languages.toml index c54eabba..4bda7136 100644 --- a/languages.toml +++ b/languages.toml @@ -464,21 +464,13 @@ file-types = ["jl"] roots = [] comment-token = "#" language-server = { command = "julia", args = [ - "--startup-file=no", - "--history-file=no", - "--quiet", - "-e", - """ - using LanguageServer; - using Pkg; - import StaticLint; - env_path = dirname(Pkg.Types.Context().env.project_file); - server = LanguageServer.LanguageServerInstance(stdin, stdout, env_path, ""); - server.runlinter = true; - run(server); - """, - ] } -indent = { tab-width = 2, unit = " " } + "--startup-file=no", + "--history-file=no", + "--quiet", + "-e", + "using LanguageServer; runserver()", + ] } +indent = { tab-width = 4, unit = " " } [[grammar]] name = "julia" |