What is the difference between '<word|word>' and '<word;word>'?

Discussion related to "Everything" 1.5 Alpha.
Post Reply
Ralf_Reddings
Posts: 120
Joined: Fri Mar 24, 2023 4:53 pm

What is the difference between '<word|word>' and '<word;word>'?

Post by Ralf_Reddings »

I am tripping with some of the search syntaxes and I am not sure what it is down. I dont have a particular scenario in mind. But I would like ask to about this.

What is the difference between the following two searches:

Code: Select all

ext:<url;html>  url:<bbc;thetimes>
and:

Code: Select all

ext:<url|html>  url:<bbc|thetimes>
Are they the same? Which is bound to be faster? This would be usefull in case when I am using them a lot manually, or building convoluted bookmarks, where performance matters.

Any help would be greatly appreciated!
void
Developer
Posts: 16668
Joined: Fri Oct 16, 2009 11:31 pm

Re: What is the difference between '<word|word>' and '<word;word>'?

Post by void »

ext: is an anomaly.
ext: has its own syntax.

Please only use ; with ext:

for example:

ext:url;html



url:<bbc;thetimes> and url:<bbc|thetimes> compile into the same search op codes.
So there's no performance difference here.

url:<bbc|thetimes>
is faster than:
url:bbc | url:thetimes



ext:url;html and ext:<url;html> is faster than ext:<url|html>
I'll look into making ext:<url|html> have the same performance as ext:url;html
Ralf_Reddings
Posts: 120
Joined: Fri Mar 24, 2023 4:53 pm

Re: What is the difference between '<word|word>' and '<word;word>'?

Post by Ralf_Reddings »

Now I understand much better, thank for this.
Post Reply