> > > > 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. > >> >>> Not to mention the students who we hope will grow into mathematicians and other scientists using Sage (and grep and whatever), but who when they start will not be there yet.
-- 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/8e803b3d-f30a-4c08-a7b8-d9b41acc0586%40googlegroups.com.
