On Friday, August 2, 2019 at 1:36:36 PM UTC-7, Nils Bruin wrote: > > 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. >
Searching the Google group sage-trac is also pretty good. -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/3075e01c-5445-4dc4-8a7b-6a3298fb0f58%40googlegroups.com.
