It seems to me that, as long as you do not manipulate the case of filenames, it should not matter whether the OS is case sensitive or not. The OS gives you a character literal which identifies a file, which you can use to identify that file. A different character literal may or may not identify the same file (and the details of that issue will depend on the OS - file links and case folding being two potentially relevant issues here).
Thanks, -- Raul On Wed, Jan 31, 2018 at 6:32 PM, chris burke <[email protected]> wrote: > It seems the problem is that Google Drive Stream is case-sensitive. > > Hard to believe and troublesome to support, since we would have to treat > those directories differently from the rest of the system. > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
