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:root@192.168.1.1:/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