On Sat, Jan 28, 2012 at 10:10 AM, Johan Corveleyn <jcor...@gmail.com> wrote:
[ ... ] > Other than that, there is something about GNU diff's -F option that I > don't like: it doesn't trim leading whitespace from the matched > "function line", unlike the -p option. Sorry, I made a mistake here, I misinterpreted some output. There is no such stripping of leading whitespace from the "function-line" anywhere. It just so happens that -p only matches lines which start with non-whitespace. (stripping leading whitespace in case of -F would be useful though, if it were up to me ... gives you more significant context in those 40/50 characters) -- Johan
