import sys
import code
import warnings
+import errno
from .readline import _get_reader, multiline_input, append_history_file
append_history_file()
except (FileNotFoundError, PermissionError, OSError) as e:
warnings.warn(f"failed to open the history file for writing: {e}")
+
input_n += 1
except KeyboardInterrupt:
r = _get_reader()
import _sitebuiltins
import _io as io
import stat
+import errno
# Prefixes for site-packages; add additional prefixes like /usr/local here
PREFIXES = [sys.prefix, sys.exec_prefix]
def write_history():
try:
readline_module.write_history_file(history)
- except (FileNotFoundError, PermissionError):
+ except FileNotFoundError, PermissionError:
# home directory does not exist or is not writable
# https://bugs.python.org/issue19891
pass
+ except OSError:
+ if errno.EROFS:
+ pass # gh-128066: read-only file system
+ else:
+ raise
atexit.register(write_history)