From c86c318d6b1f36ab6363d0b4844aa1be42eb416b Mon Sep 17 00:00:00 2001 From: Benjamin Tissoires Date: Wed, 7 Feb 2018 09:15:59 +0100 Subject: [PATCH] kete: rename the history file to be histfile for googleability, as being said --- tools/tuhi-kete.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/tuhi-kete.py b/tools/tuhi-kete.py index 5030134..2052b40 100755 --- 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)