From 50443708aad7d6c42a7089f50eb8417fdc5cc991 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= <mail-github@cgundogan.de>
Date: Fri, 10 Nov 2017 15:21:03 +0100
Subject: [PATCH] vagrant: add info to README.md for Windows quirks

---
 dist/tools/vagrant/README.md | 5 +++++
 1 file changed, 5 insertions(+)

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: <port_1>, host: <port_2>
    ```
+
+## 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`.