[ros-users] Use SSH Host entry for address attribute in <mac…

Top Page
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: User discussions
Date:  
To: User discussions
Subject: [ros-users] Use SSH Host entry for address attribute in <machine> tag in launch file
I would like to specify a host from my .ssh/config file as the address
attribute in one of my launch files.

<machine name="someserver" address="special"/>

so that in my .ssh/config file, I might have something like

Host special
    IdentityFiile  special_keyfile
    Port 9922
    HostName special.host.com


But when I try that, I'm told "cannot resolve host address for machine
[someserver]"

a) Is it possible to do this somehow?
b) If not, do enough folks think that this would be worthwhile that I
should file an enhancement ticket for it?

--wpd