changeset 9294 | 769b8867f8ce |
parent 8532 | 28a346df670e |
child 9740 | c0239d8ae742 |
child 9829 | e0e71b45bf8d |
--- a/migration.py Thu Jul 11 13:32:27 2013 +0200 +++ b/migration.py Wed Oct 16 11:38:06 2013 +0200 @@ -257,7 +257,7 @@ home_key = 'HOME' if sys.platform == 'win32': home_key = 'USERPROFILE' - histfile = os.path.join(os.environ[home_key], ".eshellhist") + histfile = os.path.join(os.environ[home_key], ".cwshell_history") try: readline.read_history_file(histfile) except IOError: