Hey. It would be nice if there was a counter option to --no-dereference (i.e. --dereference) that would revert the effect of a previous --no- dereference in the argument list.
The idea is, that especially for recursive diffing, it often makes sense to use --no-dereference - yet I guess one wouldn't want to change the default in general to use --no-dereference or even just for -r as this would probably break things. So people may still want to set up e.g. a bash alias like: diff="diff --no-dereference" however, then they have no way (except unaliasing) to get the regular behaviour in an interactive shell. Cheers, Chris.
