changeset 40335 | 3e4bb6e7c3ca |
parent 29145 | b1c6f4563df7 |
--- a/lib/scripts/feeder Wed Nov 03 17:11:40 2010 +0100 +++ b/lib/scripts/feeder Wed Nov 03 21:53:56 2010 +0100 @@ -16,7 +16,7 @@ echo "Usage: $PRG [OPTIONS]" echo echo " Options are:" - echo " -h TEXT head text" + echo " -h TEXT head text (encoded as utf8)" echo " -p emit my pid" echo " -q do not pipe stdin" echo " -t TEXT tail text"