diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2019-01-25 17:44:57 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2019-01-25 17:44:57 +0800 |
| commit | f5dee7de483bbfd56e9e1ee3ef5e437f14c3d54f (patch) | |
| tree | 3f2df60fda8353786cc23d70eab8173b656b3558 /server/src | |
| parent | 0606ce1ae00fe10623e75952723efbbbd311efdd (diff) | |
| download | lua-language-server-f5dee7de483bbfd56e9e1ee3ef5e437f14c3d54f.zip | |
加个配置
Diffstat (limited to 'server/src')
| -rw-r--r-- | server/src/config.lua | 1 | ||||
| -rw-r--r-- | server/src/workspace.lua | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/server/src/config.lua b/server/src/config.lua index 449a6002..c8d47b2f 100644 --- a/server/src/config.lua +++ b/server/src/config.lua @@ -35,6 +35,7 @@ local Template = { workspace = { ignoreDir = {{}, Str2Hash ';'}, ignoreSubmodules= {true, Boolean}, + useGitIgnore = {true, Boolean}, } } diff --git a/server/src/workspace.lua b/server/src/workspace.lua index d393c3b7..348208ca 100644 --- a/server/src/workspace.lua +++ b/server/src/workspace.lua @@ -91,7 +91,7 @@ function mt:init(rootUri) end end end - if true then + if config.config.workspace.useGitIgnore then local buf = io.load(self.root / '.gitignore') if buf then for line in buf:gmatch '[^\r\n]+' do |