File indexing completed on 2025-07-06 04:53:27 

0001 #!/bin/sh
0002 
0003 echo "OK Your orders please"
0004 while :
0005 do
0006         read cmd
0007         echo "OK"
0008         [ "$cmd" = "BYE" ] && break
0009 done