Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: read with redirected stdin

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.
Messages sorted by: Reverse Date, Date, Thread, Author