[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [ptp-dev] Setting git property core.ignorecase
|
Hi,
the man page is "git config". From there:
core.ignorecase
If true, this option enables various workarounds to enable git to work better on filesystems that
are not case sensitive, like FAT. For example, if a directory listing finds "makefile" when git
expects "Makefile", git will assume it is really the same file, and continue to remember it as
"Makefile".
The default is false, except git-clone(1) or git-init(1) will probe and set core.ignorecase true if
appropriate when the repository is created.
I think it is fine to have it set to true on Mac or Windows.
Roland
On Mon, Feb 6, 2012 at 3:14 PM, Jeffrey Overbey
<jeffreyoverbey@xxxxxxx> wrote:
For the Mac users out there, a recent change in the repo renamed the
GridEngine directory (in lml.da) to GRIDENGINE. Git had a
tremendously hard time with this on my machine, which as best I can
tell is because my file system is case-insensitive (HFS+).
Anyway, setting the global "core.ignorecase" property fixed the issue...
$ git config --global core.ignorecase 1
...although I'm not convinced that I want to leave things that way for
the rest of eternity.
Can anyone tell me if there some canonical documentation for that
property -- a man page or something?
And is there any "official" recommendation on using that property with
HFS+ (like, not from some dude's blog, but from the Ministry of
Version Control or whoever has authority on these things)?
Jeff
_______________________________________________
ptp-dev mailing list
ptp-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ptp-dev
--
ORNL/UT Center for Molecular Biophysics
cmb.ornl.gov865-241-1537, ORNL PO BOX 2008 MS6309
