diff options
author | Soumith Chintala <soumith@gmail.com> | 2016-09-20 18:12:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-20 18:12:08 +0300 |
commit | 512e61a3e23fa3fd5bf84f09f380131552c2fff2 (patch) | |
tree | 061cd9376344f5a7ddef66e611414e00b4176063 | |
parent | d9803f4ac1dc39f24d7abcb9a70183f7fa48fabc (diff) | |
parent | f70da680e64f605fdb34112f542a82c4bec7648f (diff) |
Merge pull request #15 from nagadomi/fix_find_prefix
Fix type error in find_prefix
-rw-r--r-- | init.lua | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ sys.lla = function(d) d = d or ' ' return execute('ls -la '..d) end local function find_prefix() if arg then for i, v in pairs(arg) do - if i <= 0 then + if type(i) == "number" and type(v) == "string" and i <= 0 then local lua_path = paths.basename(v) if lua_path == "luajit" or lua_path == "lua" then local bin_dir = paths.dirname(v) |