On Mon, Feb 10, 2025 at 5:38 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > I suppose most http: strings are in documentation. >
I think this is not the case. The original command skips sagemath via `grep -v -w sagemath` On an empty tree: $grep -E -r "http://www.sagemath|http://sagemath"; /tmp/sage-10.5/| wc -l 87 -- 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 visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD89xNjkEYa9DpKfngTsChLB6PGhuLQ%2BnSMsV_1-hazm_g%40mail.gmail.com.
