> But is file name case folding the only thing that's different here? Good point, there may be other differences in behavior.
Thinking about how to fix this - up to now, whether file or folder names are case-sensitive was entirely dependent on the OS, and for Jqt, just a minor difference in compilation. For Windows it looks like we need a config option to specify which drives are case-sensitive, then how file or folder names are treated would depend on which drive they are on. This is quite possible, but a non-trivial change to several areas of the code. We might be able to get it done sometime in the 807 beta. On Wed, Jan 31, 2018 at 9:32 PM, Raul Miller <[email protected]> wrote: > Well... ok... if you want to see if files with different names are the > same, you do need to deal with OS issues. > > On a unix-like system, you can check if the filesystem and inode > number are the same. (And if you do not want to deal with file > systems, you can use directory name as a rough approximation - though > that will be defeated sometimes by symbolic links.) > > On a windows system, I think one analogous mechanism involves using > the GetShortPathName winapi call. Another involves using > GetFileInformationByHandle and then checking something like (2^32)#. > nFileIndexHigh, nFileIndexLow > > As for the command line routines failing - that might mean that that > some winapi call won't work. But that should not prevent editing - > that should only prevent duplicate detection. > > But is file name case folding the only thing that's different here? > > Thanks, > > -- > Raul > > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
