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

[Thierry Volpiatto]

Michael Albinus <michael.albinus@gmx.de> writes:

> Stefan Monnier <monnier@iro.umontreal.ca> 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.
Agree, don't think that in real life people try do something like 
copy /sudo::/foo ==> file:///foo

-- 
  Thierry
Get my Gnupg key:
gpg --keyserver pgp.mit.edu --recv-keys 59F29997