How to ssh to vagrant without actually running “vagrant ssh”?

There’s a lot of answers already, but they all seem overly complicated or solve problems the asker didn’t have.

simply:

# save the config to a file
vagrant ssh-config > vagrant-ssh

# run ssh with the file.
ssh -F vagrant-ssh default