Workspaces can have the same filename multiple times as long as each one has a slightly different cased string

[duranb]

Checked for duplicates

Yes - I've already checked

Is this a regression?

No - This is a new bug

Version

develop

Describe the bug

Within the same workspace directory, you can have a file name test1.seqN.txt and another file with the name test1.SEQN.txt with different file contents. Depending on the OS, if you attempt to download those files into the same directory, the names will clash.

I'm not really sure if this is technically a bug, but it's certainly an unexpected inconsistency.

Reproduction

1. Create a workspace
2. Add a file with a name in all lowercase
3. Add another file with the same name, but in all uppercase

Logs

System Info

Mac OS 15.7.4

Severity

Minor