commit 95789ccc5ec8ff57bc1e5b6acaea1d849e37c5a7
author Ashlesh Gawande <agawande@memphis.edu> Mon Feb 27 12:38:04 2017 -0600
committer Ashlesh Gawande <agawande@memphis.edu> Wed Mar 01 11:25:30 2017 -0600
tree 4c19f8f274d356430911b54712e3de9ccb33a79a
parent 5f47020f4356db9d5b9eb15a7a247cb148b0f464

update INSTALL.md, use mini-ndn name in CLI

refs: #3969, #3980

Change-Id: Idd84d70b5edfa8fb06cf5158ccca452764d77eb7

ndn/util.py

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)