> What I can see here is that we need better error messages. And I meant something like the follows. Because boost does not report the file it fails to check, it would be nice to report such information.
Cheers, Index: src/support/filetools.cpp =================================================================== --- src/support/filetools.cpp (revision 20191) +++ src/support/filetools.cpp (working copy) @@ -163,7 +163,12 @@ bool isFileReadable(FileName const & filename) { std::string const path = filename.toFilesystemEncoding(); - return fs::exists(path) && !fs::is_directory(path) && fs::is_readable(path); + try { + return fs::exists(path) && !fs::is_directory(path) && fs::is_readable(path); + } catch(...) { + lyxerr << "Failed to check file " << path << std::endl; + throw; + } }