I have all my servers listed in my .ssh/config file with nice short names. With a simple alias on the command "grep -A1 '^H' .ssh/config | grep -v '--'", I can

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