Re: Integrate Tramp

[Miles Bader]

address@hidden (Michael Kifer) writes:
> But ssh can also connect at a different (numeric) port (and it is often
> useful). Where are you going to put this port?

   /address@hidden

seems pretty natural to me (in the sense that the `ssh service on port 443' 
is a subset of the `ssh service').  If `ssh' was the default I suppose
you could leave out `#ssh' and just give the port number.

-miles
-- 
We live, as we dream -- alone....