diff --git a/mininet/cli.py b/mininet/cli.py index ea83829..b4dc37a 100644 --- a/mininet/cli.py +++ b/mininet/cli.py @@ -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 ):