kete: rename the history file to be histfile

for googleability, as being said
2018-02-07 09:15:59 +01:00 · 2018-02-07 09:15:59 +01:00 · c86c318d6b
parent e63785b5b2
commit c86c318d6b
1 changed files with 1 additions and 1 deletions
--- a/tools/tuhi-kete.py
+++ b/tools/tuhi-kete.py
@ -571,7 +571,7 @@ class TuhiKeteShell(cmd.Cmd):
        except FileExistsError:
            pass

-        self._history_file = os.path.join(CONFIG_PATH, 'history')
+        self._history_file = os.path.join(CONFIG_PATH, 'histfile')

        try:
            readline.read_history_file(self._history_file)