diff --git a/dist/tools/vagrant/README.md b/dist/tools/vagrant/README.md index b941f43811..1a18f9c1d0 100644 --- a/dist/tools/vagrant/README.md +++ b/dist/tools/vagrant/README.md @@ -61,3 +61,8 @@ your host system and use the VM for compiling, flashing devices and running the ``` config.vm.network "forwarded_port", guest: , host: ``` + +## Quirks +* Windows + * For some Git Bash and Vagrant versions the prompt is not displayed on `vagrant ssh`. + In this case, the Windows command line should be used to invoke `vagrant ssh`.