[ros-users] Use SSH Host entry for address attribute in <machine> tag in launch file

[Patrick Doyle]

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