rdrop2
rdrop2 copied to clipboard
drop_exists() is case-sensitive
drop_exists() is case-sensitive. This means that it will incorrectly return FALSE in the following scenario:
- Alice creates (in her Dropbox) a file named
/Foo/bar/baz.txt. - Alice shares
/Foo/with Bob. - Bob renames (on his filesystem) the subfolder
bar/toBar/. - Bob invokes
drop_exists("/Foo/Bar/baz.txt"), expecting the result to beTRUE.
Following up with a pull request.
Wouldn't case insensitive mean that the following scenario will be incorrect?
On a case-sensitive system (i.e., Linux):
- Alice creates in her Dropbox) a file named
/Foo/bar/baz.txt - Bob checks if
/Foo/bar/BAZ.txtexists. After your fix, the return will beTRUE. - Bob tries to read
/Foo/Bar/BAZ.txtusing R (such as withreadLines(). - Operation fails, Bob is bamboozled.