Project

General

Profile

Bug #12828

Case conflicts in file names should be prevented

Added by Gianluca Petrillo over 4 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Target version:
-
Start date:
06/01/2016
Due date:
% Done:

0%

Estimated time:
Duration:

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

Related to LAr1ND code - Bug #12827: Name case conflict in geometry directoryClosed06/01/2016

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.

Also available in: Atom PDF