migration.py
changeset 9294 769b8867f8ce
parent 8532 28a346df670e
child 9740 c0239d8ae742
child 9829 e0e71b45bf8d
equal deleted inserted replaced
9293:723e2c586ea3 9294:769b8867f8ce
   255             readline.set_completer(Completer(local_ctx).complete)
   255             readline.set_completer(Completer(local_ctx).complete)
   256             readline.parse_and_bind('tab: complete')
   256             readline.parse_and_bind('tab: complete')
   257             home_key = 'HOME'
   257             home_key = 'HOME'
   258             if sys.platform == 'win32':
   258             if sys.platform == 'win32':
   259                 home_key = 'USERPROFILE'
   259                 home_key = 'USERPROFILE'
   260             histfile = os.path.join(os.environ[home_key], ".eshellhist")
   260             histfile = os.path.join(os.environ[home_key], ".cwshell_history")
   261             try:
   261             try:
   262                 readline.read_history_file(histfile)
   262                 readline.read_history_file(histfile)
   263             except IOError:
   263             except IOError:
   264                 pass
   264                 pass
   265         from code import interact
   265         from code import interact