I have all my servers listed in my .ssh&#x2F;config file with nice short names. With a simple alias on the command &quot;grep -A1 &#x27;^H&#x27; .ssh&#x2F;config | grep -v &#x27;--&#x27;&quot;, I can display the full list (amazon, but also scaleway, clouscale, my home box, ...).