On Tue, 2009-08-18 at 15:25 +0200, David Faure wrote:
> On Wednesday 05 August 2009, David Faure wrote:
> > Seems to me that we should instead introduce an attribute for
> > case-sensitivity: <glob pattern="*.C" case-sensitive="true"/>
> > and do everything else case-insensitively.
> 
> This would also fix bug https://bugs.freedesktop.org/show_bug.cgi?id=22634
> because we could say that 
>      <glob pattern="core"/>
> should be case-sensitive="true" as well, so that it doesn't match files named 
> "Core", which are definitely no core dumps.
> 
> Any reason against case-sensitive="true"?

Probably not, except status quo. Feel free to fix.

Cheers

_______________________________________________
xdg mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/xdg

Reply via email to