Prefer filesystem spelling of pathnames

[johnfairh]

Fix #965 - use the filesystem spelling of paths as canonical. Tested locally with cases that would crash before.

@SDGGiesbrecht from previous bugs of mine I think you have access to a case-sensitive config, if so would you mind trying out this patch at some point just to check there's nothing broken there (should be fine...)

[jpsim]

Code looks good but it'd be great if @SDGGiesbrecht could confirm.

[SDGGiesbrecht]

Sure thing. Fetching now.

Is there a specific situation you want me to test?

[SDGGiesbrecht]

Is there a specific situation you want me to test?

With an existing “Docs” directory, right?

[jpsim]

With an existing “Docs” directory, right?

Yes, since previously it would get clobbered with docs (lowercase)

[SDGGiesbrecht]

@johnfairh, @jpsim

No crashes.

• Without existing directory → creates docs/
• Existing docs/ → uses it
• Existing Docs/ → leaves it alone and creates docs/ beside it

[SDGGiesbrecht]

Just for kicks, I successfully committed and then checked out the version with both docs/ and Docs/ present, so Git really does not care—but it makes me wonder what would happen if a case‐insensitive file system cloned and tried to check it out...

Thankfully none of that is Jazzy’s responsibility.

[johnfairh]

Great, thanks.