Bug #12828
Case conflicts in file names should be prevented
0%
Description
In issue #12826 it is reported a file name case conflict deriving from commits from case-sensitive and case-insensitive file systems.
A strategy should be elaborated to prevent such conflicts.
A possible consequence of this kind of conflicts is that code running on OSX and code running on Linux, based on the same version, use different files (source, data or configuration).
GIT has a configuration option core.ignoreCase that might be part of the solution. According to the documentation, if that option is set to true files with names differing only in capitalisation are considered the same.
That would still require the file to be referenced with the full Linux capitalization in the configuration and source code.
Related issues
History
#1 Updated by Gianluca Petrillo over 4 years ago
- Related to Bug #12827: Name case conflict in geometry directory added
#2 Updated by Gianluca Petrillo over 4 years ago
- Status changed from New to Closed
Closing. We'll reopen it one day in sbndcode tracker. Maybe.