[categories] [index] [all (537)] [latest]

1. Handle single-character user input

   x.ps

   {
       (%stdin) (r) file read {
           == flush
       } if
   } loop
   

   Terminal 1: read pipe

   rm /tmp/p; mkfifo /tmp/p; cat x.ps /tmp/p | gv -
   

   Terminal 2: fill pipe

   stty raw -echo; cat > /tmp/p