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.
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.
