--jumphost/ProxyJump does not work with names from ssh_config Host declarations

[rcp]

Command line

Given an .ssh/config file containing the following:

Host proxy
  Hostname long-hostname-proxy

Host dest
  Hostname long-hostname-dest

It is not possible to connect to host dest using the following command line:

et dest --jumphost proxy

as it results in a failure with error message:

Could not reach the ET server: proxy:2022

Instead we must use the command line:

et dest --jumphost long-hostname-proxy

Config file

This issue also applies to a ProxyJump proxy entry in .ssh/config:

Host proxy
  Hostname long-hostname-proxy

Host dest
  ProxyJump proxy
  Hostname long-hostname-dest

In order for et to work, the entry must instead be ProxyJump ong-hostname-proxy. This differs from ssh (OpenSSH_8.0p1) which is able to interpret ProxyJump proxy successfully.

Seen with client and server version: et version 6.1.8

[sachit-menon]

I have a server that I ssh into via a proxyjump through another server which has its own proxyjump. These are specified in the config so usually things resolve fine, but I can't use eternal terminal because of this issue. Is there any workaround?