🐛 Fix #38, add readline.write_history_file()

Freed-Wu · Jan 31, 2024 · 61a624f · 61a624f
1 parent 3307504
commit 61a624f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/translate_shell/external/readline/__main__.py b/src/translate_shell/external/readline/__main__.py
@@ -17,6 +17,15 @@ def read_history_file(unused_path: str) -> None:
     """
 
 
+def write_history_file(unused_path: str) -> None:
+    """Write history file.
+
+    :param unused_path:
+    :type unused_path: str
+    :rtype: None
+    """
+
+
 def add_history(unused_path: str) -> None:
     """Add history.