On 10 December 2012 08:14, Colomban Wendling <[email protected]> wrote: > Le 09/12/2012 21:51, Christoph Siefer a écrit : >> Thanks very much for your fast reply, >> >> I was not considering to edit the code > > You probably can use the extra options field to specify -R. > >> ... but will do so. Would you >> consider a change-request (I think there will be more users comming up >> with this issue)? > > Well, the question will be which behavior is the expected one, but I > guess yeah, we could change it to -R so it gets the old behavior with > any version of grep; given that grep -R is as standard as grep -r.
Well, neither is "standard", they are gnu grep specials, but -R has been there since 2001 so most current versions should be ok. Cheers Lex > > Regards, > Colomban > _______________________________________________ > Users mailing list > [email protected] > https://lists.geany.org/cgi-bin/mailman/listinfo/users _______________________________________________ Users mailing list [email protected] https://lists.geany.org/cgi-bin/mailman/listinfo/users
