On 5/1/20 1:36 PM, John H Palmieri wrote: > > So before deprecating, consider points of view of users from different > backgrounds. We hope that mathematicians are using Sage, and we > shouldn't require them to know about "grep". Don't get me wrong, grep is > great and I use it all the time, but I bet that many of my colleagues > don't know it, don't want to learn the syntax, and would view '!grep -R > -n ... "$SAGE_ROOT"/src/sage' as an essentially magical incantation. I > think that 'search_src(...)' is more accessible. >
This doesn't have to involve an incantations at all. Grep is already there (and superior) for anyone who wants to use one, but you're free to open up a GUI file manager, browse to the sage directory, click a few things on a drop-down menu, and ask it to search for your string that way. That's another relatively reusable skill that many people already know and that solves the same problem on any platform. Grep is really just a special case of that, "do whatever you would normally do to search for files containing a string." -- 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/75dfdd7a-dc52-33e6-7a6d-85243a19a2d2%40orlitzky.com.
