Am Mittwoch, 26. Februar 2020, 00:41:14 CET schrieb Philip Smith:
> I need help with how to get the stdin from command line like the following:
> 
>  $  echo "hello world testing" | ./test.fs -e "(get-ext-stdin$)"

Just use stdin as file descriptor, and slurp-fid to read all from that file. 
Example:

echo "This is a test" | gforth -e "stdin slurp-fid type bye"

So your (get-ext-stdin$) is

: (get-ext-stdin$)  stdin slurp-fid ;

-- 
Bernd Paysan
"If you want it done right, you have to do it yourself"
net2o id: kQusJzA;7*?t=uy@X}1GWr!+0qqp_Cn176t4(dQ*
https://net2o.de/

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to