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