On Fri, 07 Aug 2015 19:42:54 +0100, Orchid Win7 v1 wrote:

> On 07/08/2015 07:39 PM, Stephen wrote:
>> On 8/7/2015 6:35 PM, Jim Henderson wrote:
>>> On Fri, 07 Aug 2015 18:02:29 +0100, Orchid Win7 v1 wrote:
>>>
>>>> Honestly, trying to guess when the user meant wildcard and then they
>>>> actually meant star is *highly* non-trivial.
>>>
>>> * = wildcard
>>>
>>> \* = literal *
> 
> Actually our system uses quote marks to disambiguate.

Well, there's your problem.

>> See! Training!
>> Users need training. :-P
> 
> Now try searching for a quote mark...

\"

Jim
-- 
"I learned long ago, never to wrestle with a pig. You get dirty, and 
besides, the pig likes it." - George Bernard Shaw

Post a reply to this message