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.txt
exists. After your fix, the return will beTRUE
. - Bob tries to read
/Foo/Bar/BAZ.txt
using R (such as withreadLines()
. - Operation fails, Bob is bamboozled.