diff options
| author | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-07-13 10:41:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-13 10:41:39 -0700 |
| commit | cd1ccf056be9cbcc3d5cbefff08135276bc476ed (patch) | |
| tree | 82a0d7f77d4782b1aa06668298b48d7cf5ecb511 /lua/lspconfig/lean3ls.lua | |
| parent | [docgen] Update CONFIG.md (diff) | |
| download | nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar.gz nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar.bz2 nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar.lz nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar.xz nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.tar.zst nvim-lspconfig-cd1ccf056be9cbcc3d5cbefff08135276bc476ed.zip | |
chore: change stylua to single quotes (#1068)
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 083f4f0c..412f0ec7 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -1,15 +1,15 @@ -local configs = require "lspconfig/configs" -local util = require "lspconfig/util" +local configs = require 'lspconfig/configs' +local util = require 'lspconfig/util' configs.lean3ls = { default_config = { - cmd = { "lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" }, - filetypes = { "lean3" }, + cmd = { 'lean-language-server', '--stdio', '--', '-M', '4096', '-T', '100000' }, + filetypes = { 'lean3' }, root_dir = function(fname) - return util.root_pattern "leanpkg.toml"(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) + return util.root_pattern 'leanpkg.toml'(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) end, on_new_config = function(config, root) - if not util.path.is_file(root .. "/leanpkg.toml") then + if not util.path.is_file(root .. '/leanpkg.toml') then return end if not config.cmd_cwd then |