From 1b57107352dc8c26999febb93e46cb5338a00255 Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Wed, 5 Jan 2022 23:32:26 +0100 Subject: [PATCH] Fix problem with special file types For special file types like the ones in /dev/ the info entry's type is neither file neither dir. We prevent these kind of files from being listed in the project. --- data/core/init.lua | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/data/core/init.lua b/data/core/init.lua index b97ab2d6..aba10d8f 100644 --- a/data/core/init.lua +++ b/data/core/init.lua @@ -133,7 +133,9 @@ end -- in project scan or falsy if it shouldn't appear in the list. local function get_project_file_info(root, file) local info = system.get_file_info(root .. file) - if info then + -- info can be not nil but info.type may be nil if is neither a file neither + -- a directory, for example for /dev/* entries on linux. + if info and info.type then info.filename = strip_leading_path(file) return fileinfo_pass_filter(info) and info end