On Sat, Jan 7, 2023 at 6:22 PM Pier Paolo Grassi <pierpaolog@xxxxxxxxx> wrote:
>
> Thanks, but i don't _always_ redirect stdin.
The code will still work (except for the corner case I mentioned).
Upon further thinking, the following should work in all cases:
if [[ -n $TTY ]]; then
# There is a terminal. Read from it.
read -k1
else
# There is no terminal. Read from stdin.
read -k1 -u0
fi
Roman.