diff options
Diffstat (limited to 'server/src/workspace.lua')
| -rw-r--r-- | server/src/workspace.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server/src/workspace.lua b/server/src/workspace.lua index 87cc4c98..fd6f9c04 100644 --- a/server/src/workspace.lua +++ b/server/src/workspace.lua @@ -122,6 +122,9 @@ function mt:scanFiles() for path in pairs(config.config.workspace.ignoreDir) do ignored[#ignored+1] = path end + for path in pairs(config.other.exclude) do + ignored[#ignored+1] = path + end if config.config.workspace.ignoreSubmodules then local buf = io.load(self.root / '.gitmodules') if buf then |