Stream: beginners

Topic: incomming terminal data

view this post on Zulip Artur Swiderski (Dec 09 2023 at 13:56):

in basic-cli is there any way to check is there are any incoming data ?
What I like to do is following
let assume linux:

cat  file.txt  |  my_roc_app

I want to detect that there is data on input and act on it is this possible ?

view this post on Zulip Brendan Hansknecht (Dec 09 2023 at 16:55):

Stdin will tell you if data has ended, but if you call it and no data was piped in, it will sit waiting on the terminal stdin

Last updated: Jul 26 2025 at 12:14 UTC