Re: convert-standard-filename

[Michael Albinus]

Stefan Monnier <address@hidden> writes:

>>> How 'bout a file-name-equal, which could also try to account for
>>> case-sensitivity?
>> He-he, I was arguing for years that file names are not strings and
>> cannot be compared as strings.  Finally I have someone who agrees ;-)
>
> I always thought you weren't completely convinced.  I'm all for it.
> We do want to define it carefully, tho.  E.g. it should only operate on
> names without performing any actual file/directory lookup.

It shall also support file name handlers. I would prefer 

(file-name-equal "/sudo::/" "/sudo:address@hidden:/") => t

if appropriate (depends on default settings). This doesn't need to touch
the remote host either.

>         Stefan

Best regards, Michael.