File indexing completed on 2024-12-22 05:05:18 

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