Re: [bug #18042] cannot specify port number in shell link

[Leonard den Ottolander <leonard den ottolander nl>]

Hello Pavel,

On Wed, 2006-11-01 at 15:26 +0200, Pavel Tsekov wrote:
> This is not a task which requires tremendous efforts. It is just a matter
> of defining what we want to do and how we want to do it. And in the 
> meantime there is an easy workaround - just set the port in ~/.ssh/config.

Yes, with the "we sometimes need hacks" I was not referring to this
issue.

Leonard.

-- 
mount -t life -o ro /dev/dna /genetic/research