[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Integrate Tramp

From: Miles Bader
Subject: Re: Integrate Tramp
Date: 22 Jun 2002 16:25:57 +0900

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?


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.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]