update INSTALL.md, use mini-ndn name in CLI
refs: #3969, #3980
Change-Id: Idd84d70b5edfa8fb06cf5158ccca452764d77eb7
diff --git a/ndn/util.py b/ndn/util.py
index 19a5356..7ccf5d0 100644
--- a/ndn/util.py
+++ b/ndn/util.py
@@ -22,6 +22,8 @@
# If not, see <http://www.gnu.org/licenses/>.
from subprocess import call
+from mininet.cli import CLI
+import sys
sshbase = [ 'ssh', '-q', '-t', '-i/home/mininet/.ssh/id_rsa' ]
scpbase = [ 'scp', '-i', '/home/mininet/.ssh/id_rsa' ]
@@ -37,3 +39,8 @@
tmp.append(arg)
rcmd = scpbase + tmp
call(rcmd, stdout=devnull, stderr=devnull)
+
+class MiniNDNCLI(CLI):
+ prompt = 'mini-ndn> '
+ def __init__(self, mininet, stdin=sys.stdin, script=None):
+ CLI.__init__(self, mininet, stdin=sys.stdin, script=None)