Wouldn't it be more logical that
fossil settings ignore-glob
followed the case criteria of:
fossil settings case-sensitive
?
RR
2012/4/13 Stephan Beal <sgb...@googlemail.com>
> On Fri, Apr 13, 2012 at 3:10 PM, vince <vinc...@neuf.fr> wrote:
>
>> the option "ignore-glob" is case sensitive.
>>
>
> 0.02 Euro: My suggestion would that we add ignore-like as a new option,
> the difference being that ignore-glob uses (like now) a GLOB comparison
> (case-sensitive) and ignore-like would use a LIKE comparison
> (case-insensitive). We could combine the two in the queries which uses them
> (where ... NOT GLOB ...ignore-glob... AND LOT LIKE ...ignore-like...).
>
> My hand is injured and i can't type worth a damn, or i'd have a look at
> implementing this. i think this request has come up before.
>
> --
> ----- stephan beal
> http://wanderinghorse.net/home/stephan/
> http://gplus.to/sgbeal
>
>
> _______________________________________________
> fossil-users mailing list
> fossil-users@lists.fossil-scm.org
> http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
>
>
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
