Simplify the user input method by avoiding termio#6830

kit-ty-kate wants to merge 1 commit intoocaml:masterocaml/opam:masterfrom

kit-ty-kate:simpler-user-inputkit-ty-kate/opam:simpler-user-inputCopy head branch name to clipboard