Use correct separator on windows

Ref #673
2026-03-29 06:12:35 +09:00 · 2017-06-18 09:56:36 -04:00
parent 7ec222895c
commit 5ec08d0a29
2 changed files with 6 additions and 2 deletions
--- a/runtime/plugins/linter/linter.lua
+++ b/runtime/plugins/linter/linter.lua
@@ -92,6 +92,10 @@ function split(str, sep)
 end

 function basename(file)
-    local name = string.gsub(file, "(.*/)(.*)", "%2")
+    local sep = "/"
+    if OS == "windows" then
+        sep = "\\"
+    end
+    local name = string.gsub(file, "(.*" .. sep .. ")(.*)", "%2")
    return name
 end