# HG changeset patch # User wenzelm # Date 1288817636 -3600 # Node ID 3e4bb6e7c3cae2fa4a923c38a2fd440f90844df4 # Parent 69930308b89615f02310323fa5260819051d2c25 feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu); diff -r 69930308b896 -r 3e4bb6e7c3ca lib/scripts/feeder --- 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" diff -r 69930308b896 -r 3e4bb6e7c3ca lib/scripts/feeder.pl --- a/lib/scripts/feeder.pl Wed Nov 03 17:11:40 2010 +0100 +++ b/lib/scripts/feeder.pl Wed Nov 03 21:53:56 2010 +0100 @@ -24,7 +24,11 @@ $emitpid && (print $$, "\n"); -$head && (print "$head", "\n"); +if ($head) { + utf8::encode($head); + $head =~ s/([\x80-\xff])/\\${\(ord($1))}/g; + print $head, "\n"; +} if (!$quit) { while () {