update INSTALL.md, use mini-ndn name in CLI
refs: #3969, #3980
Change-Id: Idd84d70b5edfa8fb06cf5158ccca452764d77eb7
diff --git a/docs/CONNECT-TO-OUTSIDE.md b/docs/CONNECT-TO-OUTSIDE.md
index 438e4db..eb3f5b6 100644
--- a/docs/CONNECT-TO-OUTSIDE.md
+++ b/docs/CONNECT-TO-OUTSIDE.md
@@ -54,18 +54,18 @@
After rebooting, run Mini-NDN and issue the following command:
- mininet>net
+ mini-ndn>net
a a-eth0:b-eth0 a-eth1:c-eth0 a-eth2:root-eth0
Node "a" is connected to "root-eth0". Now issue "ifconfig a-eth2" on node "a":
- mininet>a ifconfig a-eth2
+ mini-ndn>a ifconfig a-eth2
a-eth2 Link encap:Ethernet HWaddr fa:76:d4:86:d3:ba
inet addr:1.0.0.10 Bcast:1.0.0.11 Mask:255.255.255.252
As learned from the previous step, the IP address of root-eth0 is 1.0.0.9.
- mininet>a ping 1.0.0.9
+ mini-ndn>a ping 1.0.0.9
PING 1.0.0.9 (1.0.0.9) 56(84) bytes of data.
64 bytes from 1.0.0.9: icmp_seq=1 ttl=64 time=0.137 ms
64 bytes from 1.0.0.9: icmp_seq=2 ttl=64 time=0.123 ms
diff --git a/docs/GETTING-STARTED.md b/docs/GETTING-STARTED.md
index ccc6f18..205d2eb 100644
--- a/docs/GETTING-STARTED.md
+++ b/docs/GETTING-STARTED.md
@@ -25,24 +25,24 @@
After set up, the command-line interface (CLI) will display a prompt.
- mininet>
+ mini-ndn>
To interact with a node, first type the node's name and then the command to be executed:
- mininet> a echo "Hello, world!"
+ mini-ndn> a echo "Hello, world!"
Hello, world!
To see the status of the forwarder on the node:
- mininet> a nfdc status report
+ mini-ndn> a nfdc status report
To see the status of routing on the node:
- mininet> a nlsrc status
+ mini-ndn> a nlsrc status
To exit Mini-NDN, type `quit` in the CLI:
- mininet> quit
+ mini-ndn> quit
For a more in depth explanation of the CLI, please see the
[Mininet Walkthrough](http://mininet.org/walkthrough/).