mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 14:18:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

kitty shell: Ignore failure to read readline history file

Browse Source
This commit is contained in:
Kovid Goyal
2018-06-22 17:23:01 +05:30
parent c037f53534
commit 32f22e0ada
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/shell.py
View File

@@ -84,8 +84,10 @@ class Completer:
return self.matches[state] return self.matches[state]
def __enter__(self): def __enter__(self):
if os.path.exists(self.history_path): try:
readline.read_history_file(self.history_path) readline.read_history_file(self.history_path)
except Exception:
pass
readline.set_completer(self.complete) readline.set_completer(self.complete)
delims = readline.get_completer_delims() delims = readline.get_completer_delims()
readline.set_completer_delims(delims.replace('-', '')) readline.set_completer_delims(delims.replace('-', ''))