From 5ea936e85f70584cb375b3eae7630df8063e62eb Mon Sep 17 00:00:00 2001 From: Marc Jakobi Date: Wed, 18 Jan 2023 21:20:17 +0100 Subject: [PATCH] chore(debug): print lua-language-server --version --- lua/entrypoint.lua | 1 + 1 file changed, 1 insertion(+) diff --git a/lua/entrypoint.lua b/lua/entrypoint.lua index 230827b..af94f59 100755 --- a/lua/entrypoint.lua +++ b/lua/entrypoint.lua @@ -66,6 +66,7 @@ local function lint(directory) local redirect = ' >' .. stdout_file .. ' 2>' .. stderr_file print(cmd) local exit_code = os.execute(cmd .. redirect) + os.execute('lua-language-server --version > stdout.txt') local stdout = read_file(stderr_file) or '' print(stdout) if exit_code ~= 0 then