Daniel Hollas
Daniel Hollas
Yes please, what you describe has been my experience as well. The low hanging fruit would be to put API references always at the bottom of search results.
Hmm, it seems that similar behaviour exists on the old terminal as well though. EDIT: Similar issue for the old REPL https://github.com/python/cpython/issues/113978
Looks like the `write_history` callback is registered in `site.py` here: https://github.com/python/cpython/blob/65de194dd80bbc8cb7098d21cfd6aefd11d0d0ce/Lib/site.py#L525 ```python def write_history(): try: if os.getenv("PYTHON_BASIC_REPL"): readline.write_history_file(history) else: _pyrepl.readline.write_history_file(history) except (FileNotFoundError, PermissionError): # home directory does not exist or...
@eugenetriguba if you look at the `_pyrepl/__main__.py`, `CAN_USE_PYREPL` is indeed checking for windows at import, but then later it is set to False if for any reason the new repl...
> Maybe: We set PYTHON_BASIC_REPL to true if TERM is set to "dumb"? The following patch indeed fixes the issue, happy to make a PR if this seems like a...
> I rewrote the fix to please the typing gods. @vstinner the new version doesn't seem to fix the issue for me (tested on Fedora 39). I've ran into the...
@lysnikolaou I've taken the liberty of creating the issue for your observation in #118877, I hope that is okay. I believe I have a fix for this in #118939, in...
@cfbolz thanks for confirming the issue! It would be great if you could test if #118939 solves the problem for you.
@unkcpz This is ready for review. I'd suggest to merge this to get the docker build fixed, and deal with the issues of forks in subsequent PR.
Hmm, after merging main the builld failed. Will have a look.