Commit d8b95160 authored by Matthew Johnson's avatar Matthew Johnson
Browse files

[readme] Remove trailing whitespace

parent 53bd6107
......@@ -8,7 +8,7 @@ Install Vagrant, and run the VM with `vagrant up`!
If you are using Homebrew on macOS, you can simply run `brew install vagrant`.
If you haven't already, you will also need to install [VirtualBox]( as
the provider for your VM.
**EDIT: Unfortunately the official Ubuntu box only works with VirtualBox.**
* Clone/download this repo and `cd` into the directory.
......@@ -16,25 +16,25 @@ Install Vagrant, and run the VM with `vagrant up`!
* Run `vagrant ssh` in the directory to SSH into the VM.
* Run `sudo mn --test pingall` within the VM to test that Mininet has been installed properly.
* If you need to copy files from/to the VM, you can use the [vagrant-scp](
plugin: install with
plugin: install with
vagrant plugin install vagrant-scp
and then you can copy files to the VM:
vagrant scp local/path/to/file :remote/path/to/file
or from the VM:
or from the VM:
vagrant scp :remote/path/to/file local/path/to/file
Alternatively, you can use the [synced folders feature]( to edit files in the VM locally.
* To use VSCode with the Vagrant VM, first run `vagrant ssh-config` in the
repo's directory, and then append the output to your `~/.ssh/config` file.
You can rename the host as you like (change the first line to `Host mininet`).
Then in VSCode you can connect to the `mininet` host.
You can install the Python and Pylance extensions on the VM. You can add
`/home/vagrant/mininet`, `/home/vagrant/pox`, `/home/vagrant/openflow`
to the `"python.analysis.extraPaths"` settings to make code analysis work
......@@ -61,7 +61,7 @@ Install Vagrant, and run the VM with `vagrant up`!
* If you are located in China and experience difficulty downloading Vagrant boxes, you can use
[Tsinghua University's mirror](
Simply run the following command before executing `vagrant up`:
vagrant box add --name ubuntu/focal64
* If you don't feel like installing Vagrant, you can also spin up your own Ubuntu VM on your favorite VM provider (VMware/VirtualBox/HyperV) or even cloud provider (AWS EC2?) and run the `` script to set up Mininet. We recommend using Vagrant because it abstracts away many provider- and OS-specific nuances, which have historically troubled many students getting set up for the project.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment