github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-22 16:57:12 +09:00
Code Issues Packages Projects Releases Wiki Activity

Put linted classfiles in temp directory

Browse Source 
Fixes #445
This commit is contained in:
Zachary Yedidia
2016-11-09 17:30:25 -05:00
parent e721ef8d46
commit d0d167b663
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/plugins/linter/linter.lua
View File

@@ -13,8 +13,10 @@ function runLinter()
local ft = CurView().Buf:FileType()
local file = CurView().Buf.Path
local devnull = "/dev/null"
local temp = os.getenv("TMPDIR")
if OS == "windows" then
devnull = "NUL"
temp = os.getenv("TEMP")
end
if ft == "go" then
lint("gobuild", "go build -o " .. devnull, "%f:%l: %m")
@@ -28,7 +30,7 @@ function runLinter()
elseif ft == "d" then
lint("dmd", "dmd -color=off -o- -w -wi -c " .. file, "%f%(%l%):.+: %m")
elseif ft == "java" then
lint("javac", "javac " .. file, "%f:%l: error: %m")
lint("javac", "javac -d " .. temp .. " " .. file, "%f:%l: error: %m")
elseif ft == "javascript" then
lint("jshint", "jshint " .. file, "%f: line %l,.+, %m")
end