GNU bug report logs - #10489
24.0.92; dired-do-copy may create infinite directory hierarchy

Previous Next

Full log

Message #390 received at 10489 <at> debbugs.gnu.org (full text, mbox):

From: Thierry Volpiatto <thierry.volpiatto <at> gmail.com>
To: Michael Albinus <michael.albinus <at> gmx.de>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 10489 <at> debbugs.gnu.org,
	Stefan Monnier <monnier <at> iro.umontreal.ca>
Subject: Re: bug#10489: 24.0.92;
	dired-do-copy may create infinite directory hierarchy
Date: Sat, 25 Feb 2012 16:53:24 +0100

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

> Stefan Monnier <monnier <at> 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 

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.