Subject: bug#48047: provide --dereference

From: Christoph Anton Mitterer <[email-masked]>
Date: Mon, 26 Apr 2021 22:36:19 +0200

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.