Como sair do SSH do vagrant no terminal

Seguindo o README neste repositório , devo proteger meu shell em uma máquina virtual que criei, mas depois que o fiz, como saio?

Aqui estão as instruções:

$ git clone git://github.com/honza/django-chef.git
$ cd django-chef
# add yourself to the "users" array in the Vagrantfile
$ sudo echo "127.0.0.1 example.example.com" >> /etc/hosts
$ vagrant up
$ fab vagrant:honza bootstrap  # replace with your name
$ vagrant ssh    # OK, cool
$ run            # I'm trapped! 

Supondo que o runcomando continue sendo executado em primeiro plano, você provavelmente poderá finalizá-lo CTRL+C. Em seguida, a sessão do shell (e SSH) pode ser encerrada com exitou CTRL+D.

Se você deseja ssh na máquina, pode fazer o seguinte:

vagrant ssh

ou

homestead ssh

Se você estiver na máquina, poderá executar o comando exitpara sair dela.