enforcing tty I/O while still getting PromptSession features like history

[jeisner]

enforce-tty-input-output.py is able to do something I want:

This will display a prompt that will always use the terminal for input and
output, even if sys.stdin/stdout are connected to pipes.

How can I do this while enabling history?

• I can enable history by creating a PromptSession with the history=... argument. But this doesn't play nicely with pipes.
• Or I can play nicely with pipes by creating an Application (the above code uses the create_app_session_from_tty context manager). But then there is nowhere to put the history=... argument.

Is there a simple way to get both?

Although PromptSession does have input and output arguments, their documentation warns: "Note that the preferred way to change the input/output is by creating an AppSession." And indeed, supplying the same tty arguments used by create_app_session_from_tty (here) doesn't seem to change the behavior of PromptSession. The trouble with using AppSession as suggested is that it has no other options beyond input and output (such as history).

---

FYI, here's why it comes up. I have written a command-line Unix filter. Some of the command-line options take long and possibly multiline strings as arguments, and I want to prompt for them if they're missing:

cat infile | myfilter -m 'possibly long string here' --more-options > outfile
cat infile | myfilter -m --more-options > outfile    # causes prompting

My current stable version does this successfully using sys.stdin.read(), with a little care to check whether stdin/stdout are connected to a tty.

I wanted to allow better editing and history. I can combine successfully with rlwrap (and maybe could use readline directly), but then it's not possible to edit earlier lines of a multiline response. So I am turning to prompt-toolkit.

[jeisner]

Never mind, I was able to answer my own question!
The prompt function as called in enforce-tty-input-output.py accepts the history argument.