# HG changeset patch
# User Nicolas Chauvat <nicolas.chauvat@logilab.fr>
# Date 1381916286 -7200
# Node ID 769b8867f8ced399728d0c61e8b656d8cbb0a50f
# Parent  723e2c586ea36738bb01f3c4ff62d3bc54b8e448
[cwshell] rename history file to .cwshell_history (erudi is dead, long live cw)

diff -r 723e2c586ea3 -r 769b8867f8ce migration.py
--- 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: