On Friday, August 2, 2019 at 11:39:47 AM UTC-7, Timo Kaufmann wrote:
>
> Hi!
>
> As part of my packaging workflow, I find myself pasting error messages 
> into the trac search pretty frequently to discover if something is a known 
> issue or due to packaging complications. Trac search isn't very helpful 
> here though, since it will try to split words and look for them 
> individually. All I want is a literal search. A regex search would be even 
> better.
>
>
I find that google with "site:trac.sagemath.org" is fairly good at finding 
relevant tickets. 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0df3f385-9c74-46bb-ba2a-b62d550f75c0%40googlegroups.com.

Reply via email to