lib/scripts/feeder
changeset 40335 3e4bb6e7c3ca
parent 29145 b1c6f4563df7
equal deleted inserted replaced
40334:69930308b896 40335:3e4bb6e7c3ca
    14 {
    14 {
    15   echo
    15   echo
    16   echo "Usage: $PRG [OPTIONS]"
    16   echo "Usage: $PRG [OPTIONS]"
    17   echo
    17   echo
    18   echo "  Options are:"
    18   echo "  Options are:"
    19   echo "    -h TEXT      head text"
    19   echo "    -h TEXT      head text (encoded as utf8)"
    20   echo "    -p           emit my pid"
    20   echo "    -p           emit my pid"
    21   echo "    -q           do not pipe stdin"
    21   echo "    -q           do not pipe stdin"
    22   echo "    -t TEXT      tail text"
    22   echo "    -t TEXT      tail text"
    23   echo
    23   echo
    24   echo "  Output texts (pid, head, stdin, tail), then wait to be terminated."
    24   echo "  Output texts (pid, head, stdin, tail), then wait to be terminated."