riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #7997 from cgundogan/pr/vagrant_info

Browse Source 
vagrant: add info to README.md for Windows quirks
This commit is contained in:
Peter Kietzmann 2017-11-10 15:35:06 +01:00 committed by GitHub
commit 40e2a5a5f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
dist/tools/vagrant/README.md vendored
View File

@ -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`.