Subject: Re: bug#10489: 24.0.92; dired-do-copy may create infinite directory hierarchy

From: Michael Albinus <[email-masked]>
Date: Sat, 25 Feb 2012 16:36:34 +0100

Stefan Monnier <[email-masked]> writes:

>>> > Also, if each file has a different handler, doesn't that in
>>> > itself already mean the files are not equal?
>
> No: /foo should be equal to file:///foo (if you use url-handler-mode)
> but they don't use the same handler.

It will be hard to detect that /sudo::/foo is equal to file:///foo. And
the result might be different, when file:///foo and /sudo::/foo are
compared, because another file name handler is involved.

Maybe we shouldn't try to detect this, and we should regard them as not
equal.

>         Stefan

Best regards, Michael.