Name	Size	Mode	Actions
__pycache__/	-	0755	rm
base_eventqueue.py	3840	0644	editdlrm
commands.py	12190	0644	editdlrm
completing_reader.py	10050	0644	editdlrm
console.py	6866	0644	editdlrm
curses.py	1241	0644	editdlrm
fancy_termios.py	2161	0644	editdlrm
historical_reader.py	13240	0644	editdlrm
input.py	3779	0644	editdlrm
keymap.py	6460	0644	editdlrm
main.py	1938	0644	editdlrm
mypy.ini	870	0644	editdlrm
pager.py	5815	0644	editdlrm
reader.py	27712	0644	editdlrm
readline.py	20219	0644	editdlrm
simple_interact.py	5768	0644	editdlrm
trace.py	433	0644	editdlrm
types.py	354	0644	editdlrm
unix_console.py	25637	0644	editdlrm
unix_eventqueue.py	2524	0644	editdlrm
utils.py	2232	0644	editdlrm
windows_console.py	21620	0644	editdlrm
windows_eventqueue.py	991	0644	editdlrm
_minimal_curses.py	1844	0644	editdlrm
_threading_handler.py	2170	0644	editdlrm
__init__.py	925	0644	editdlrm
__main__.py	422	0644	editdlrm

# Config file for running mypy on _pyrepl. # Run mypy by invoking `mypy --config-file Lib/_pyrepl/mypy.ini` # on the command-line from the repo root [mypy] files = Lib/_pyrepl mypy_path = $MYPY_CONFIG_FILE_DIR/../../Misc/mypy explicit_package_bases = True python_version = 3.13 platform = linux pretty = True # Enable most stricter settings enable_error_code = ignore-without-code,redundant-expr strict = True # Various stricter settings that we can't yet enable # Try to enable these in the following order: disallow_untyped_calls = False disallow_untyped_defs = False check_untyped_defs = False # Various internal modules that typeshed deliberately doesn't have stubs for: [mypy-_abc.*,_opcode.*,_overlapped.*,_testcapi.*,_testinternalcapi.*,test.*] ignore_missing_imports = True # Other untyped parts of the stdlib [mypy-idlelib.*] ignore_missing_imports = True