read cat echo "REPLY=$REPLY" REPLY=exec