Re: [xtext-dev] Ignore-case file systems

[Robert von Massow <rvm@xxxxxxxxxxxxxxxxxxxxxx>]

Hi,

I just wanted to mention that the option is spelled "ignorecase". It
should be set in the [core] section of the config file.

Regards,
Robert

On 11/08/2010 02:05 PM, Sebastian Zarnekow wrote:
> Hi,
> 
> please use set ignore-case to false in your .git/config. I just broke
> the build because ignorecase defaults to true on a mac with an case
> preserving ignore-case filesystem.
> 
> Regards,
> Sebastian
> 
> _______________________________________________
> xtext-dev mailing list
> xtext-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/xtext-dev

-- 
Robert von Massow

Software Engineering Group (http://se.informatik.uni-kiel.de/)
University of Kiel, Dept. Computer Science, D-24118 Kiel, Germany

Room:   1213 (Christian-Albrechts-Platz 4, Kiel)
Phone:  +49 (0)431 880-2776, Fax: -7617
E-Mail: rvm@xxxxxxxxxxxxxxxxxxxxxx