From 01c061a922dc70569a7ba7b9e170e2d6566290c5 Mon Sep 17 00:00:00 2001 From: Martine Lenders Date: Sat, 19 Dec 2020 09:58:42 +0100 Subject: [PATCH] dist/tools/vagrant: remove trailing whitespaces from README --- dist/tools/vagrant/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/tools/vagrant/README.md b/dist/tools/vagrant/README.md index 1a18f9c1d0..9943a1aded 100644 --- a/dist/tools/vagrant/README.md +++ b/dist/tools/vagrant/README.md @@ -51,7 +51,7 @@ This feature allows you to conveniently develop code for RIOT with your preferre your host system and use the VM for compiling, flashing devices and running the native port of RIOT. ## Additional Information -1. VirtualBox: For new boards it is necessary to add a usb filter (open VirtualBox, click on USB and add the new filter for your board). +1. VirtualBox: For new boards it is necessary to add a usb filter (open VirtualBox, click on USB and add the new filter for your board). * For Linux Guest Systems: For new boards it is necessary to add new udev rules in the Vagrant config (in `dist/tools/vagrant/udev_rules`) so that Vagrant can capture the device. The needed `vendor id` and `product id` can be obtained by running `vboxmanage list usbhost`. * For Linux Host Systems: Additionally, in order to allow USB access from within the guest system, the host system user