fix: dev plugins with dev=false should be configured as remote

This commit is contained in:
Folke Lemaitre 2022-12-06 11:09:14 +01:00
parent f52cf32f96
commit 43b303bd8f
No known key found for this signature in database
GPG Key ID: 41F8B1FBACAE2040
1 changed files with 1 additions and 1 deletions

View File

@ -92,7 +92,7 @@ function Spec:add(plugin, is_dep)
-- check for plugins that should be local -- check for plugins that should be local
for _, pattern in ipairs(Config.options.dev.patterns) do for _, pattern in ipairs(Config.options.dev.patterns) do
if plugin.dev or plugin[1]:find(pattern, 1, true) then if plugin.dev or (plugin[1]:find(pattern, 1, true) and plugin.dev ~= false) then
plugin.uri = Config.options.dev.path .. "/" .. plugin.name plugin.uri = Config.options.dev.path .. "/" .. plugin.name
break break
end end