On 4/30/20 3:11 PM, David Roe wrote: > > I understand where the criticism is coming from, but I think one of the > big plusses of search_src and friends is that they're usable from the > sage command line without switching context to the command line. I > don't think they should be removed.
sage: !grep Usage: grep [OPTION]... PATTERNS [FILE]... Try 'grep --help' for more information. (No one else suggested removing search_*, I just think they fall into the same category of "functions intended for people who don't know how to use a computer but that are actually more complicated than the thing they're supposed to replace.") -- 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/6efb4f34-f456-1c0f-ad79-fb6f5b25a7ac%40orlitzky.com.
