macOS should sometimes be case sensitive in ignore patterns

[rptb1]

https://docs.syncthing.net/users/ignoring.html says:

On Mac OS and Windows, patterns are always case-insensitive.

On macOS at least, case sensitivity depends on the file system, and is not global. Either:

1. Syncthing knows this and is case sensitive on case sensitive filesystems and the document is wrong, or

2. Syncthing is case insensitive on case sensitive filesystems and does not do the right thing.

I do not know about Windows but perhaps there's a similar problem.

[Script-Mak3r]

I do not know about Windows but perhaps there's a similar problem.

FYI, Windows is generally case insensitive. As of Windows 10 it is possible to enable case sensitivity, but I think it's fairly safe to assume that most users won't do this.
This is, in fact, the the cause of problems some people encounter when files change case, thus #2739.

[AudriusButkevicius]

I am closing this issue in favor of #1787

[calmh]

I guess that's related but not exactly the same thing. We assume case insensitive always on mac/windows but that's not precisely correct, as noted. The default is fine but we should probably have at least an (?s) or something flag to force case sensitivity in ignore patterns.