Remove the magic portion of a remote file name

[Bozhidar Batsov]

Hi guys,

I wonder what's the authoritative way to obtain the local file name portion

of a remote file name? I’m looking for a function that would turn

"/ssh:address@hidden:/some/path/file" into "/some/path/file". I

know of `tramp-dissect-file-name', but I wonder if there's a better way, that doesn’t involve requiring tramp.

Perhaps there’s no such function and we can add one.

-- 

Cheers,

Bozhidar