github-mirror/route0
1
0
Fork 0
mirror of https://github.com/Wojtek242/route0.git synced 2024-11-21 23:05:24 +01:00
Code Issues Packages Projects Releases Wiki Activity

Small fix to platform.md

Browse Source
This commit is contained in:
Wojciech Kozlowski 2019-04-07 14:52:19 +02:00
parent d320d9c08d
commit b6f9e22015
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
platform.md
View File

@ -33,7 +33,7 @@ you to do so within a few minutes after the first boot, but you can also do it
manually from a terminal with the following command lines:
```
sudo apt update
sudo apt -y upgrade
sudo apt upgrade
```
Once the system finishes updating, I strongly recommend uninstalling
@ -60,7 +60,7 @@ wireshark. You can do that manually or use the Mininet script provided for
this purpose. You will need `git` installed for this. If you already have
`git` installed you can skip the first line
```
sudo apt -y install git
sudo apt install git
git clone git://github.com/mininet/mininet
mininet/util/install.sh -fw
```