github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 07:00:24 +09:00
Code Issues Packages Projects Releases Wiki Activity

Do not add non-plugin directories in plug/

Browse Source
This commit is contained in:
Zachary Yedidia
2020-01-28 23:49:51 -05:00
parent 03228762d4
commit 016b8dcc4c
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
internal/config/rtfiles.go
View File

@@ -186,8 +186,8 @@ func InitRuntimeFiles() {
}
}
if !isID(p.Name) {
log.Println("Invalid plugin name", p.Name)
if !isID(p.Name) || len(p.Srcs) <= 0 {
log.Println(p.Name, "is not a plugin")
continue
}
Plugins = append(Plugins, p)
@@ -214,8 +214,8 @@ func InitRuntimeFiles() {
p.Name = p.Info.Name
}
}
if !isID(p.Name) {
log.Println("Invalid plugin name", p.Name)
if !isID(p.Name) || len(p.Srcs) <= 0 {
log.Println(p.Name, "is not a plugin")
continue
}
Plugins = append(Plugins, p)