I think the presence of symlink can make it even more troublesome. OSX also use case insensitive file system.
On Feb 1, 2018 10:40 PM, "Raul Miller" <[email protected]> wrote: > Technically, that should be done at the directory level, rather than > the drive level: > > https://technet.microsoft.com/en-us/library/cc938934.aspx > > Also, technically, this can show up on any OS (because of remote file > systems, and other hosted file systems). > > But I don't know whether each OS provides a way of efficiently > discovering this information. > > -- > Raul > > On Thu, Feb 1, 2018 at 9:29 AM, chris burke <[email protected]> wrote: > >> 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 > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
