On Fri, May 1, 2020 at 8:54 AM John Cremona <john.crem...@gmail.com> wrote: > > I agree with David. I use grep 1000 times a day and I do know how to use a > computer (and do not appreciate being patronised), but I also use > serach_src() in the middle of Sage sessions a lot and tha seems much more > useful to me than switching to a different window and navigating to wherever > my Sage source code is.
You can do !grep sage: !grep foo * just fine, no need to leave Sage. > > On Thursday, April 30, 2020 at 8:55:37 PM UTC+1, Michael Orlitzky wrote: >> >> 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/65829e6d-b7eb-4d48-a8a4-7c17d19829d5%40googlegroups.com. -- 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/CAAWYfq2i6-d%3DcUjiAY96MD5RYXNoUBV%3DvhXOm0w1DL-NN0wS9w%40mail.gmail.com.
