Merge pull request #598 from croft/master

Set limit on command history length
2016-06-21 16:40:55 -07:00
parent 330a466503 e87ee10f8b
commit 4fe5a19221
1 changed files with 3 additions and 1 deletions
@@ -78,13 +78,15 @@ class CLI( Cmd ):
            return
        cls.readlineInited = True
        try:
-            from readline import read_history_file, write_history_file
+            from readline import ( read_history_file, write_history_file,
+                                   set_history_length )
        except ImportError:
            pass
        else:
            history_path = os.path.expanduser( '~/.mininet_history' )
            if os.path.isfile( history_path ):
                read_history_file( history_path )
+                set_history_length( 1000 )
            atexit.register( lambda: write_history_file( history_path ) )

    def run( self ):