[cwshell] rename history file to .cwshell_history (erudi is dead, long live cw)
authorNicolas Chauvat <nicolas.chauvat@logilab.fr>
Wed, 16 Oct 2013 11:38:06 +0200
changeset 9294 769b8867f8ce
parent 9293 723e2c586ea3
child 9295 df68a28c5735
[cwshell] rename history file to .cwshell_history (erudi is dead, long live cw)
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: