Re: Tramp, "[]" in file names, and file-expand-wildcards

[Eli Zaretskii]

> From: "Stefan Monnier" <monnier+gnu/address@hidden>
> Date: Tue, 09 Oct 2001 10:29:59 -0400
> 
> Hmmm.... what happens when we do (copy-file "foo" "foo.gz") ?
> What about (copy-file "foo.gz" "foo") ?
> What should happen ?

What should happen is a simple copy, I think: that's what users will
expect.