28 tmp=(/tmp/play.$pid.$#tmp.tmp $tmp)
29 dd -bs 8192 -count 1 >$tmp(1) >[2]/dev/null
30 cat $tmp(1) /fd/0 | play1 $1 `{file -m $tmp(1)}
36 sed 's/
\r//g' | while(j=`$nl{read}){
38 if(~ $"j http:* https:* HTTP:* HTTPS:*){
39 hget -r 'User-Agent: play' -r 'Icy-MetaData: 0' $"j | play1 $"j
45 echo $argv0: 'can''t open file:' $"j >[1=2]
62 games/mus | games/midi -c
64 awk 'BEGIN {FS="="} /^File/{print $2}' | play1 list plain
80 games/mus | games/midi -c
82 echo $argv0: $1: unknown format: $2 >[1=2]
89 echo usage: $argv0 '[ -o file ] [ file ... ]' >[1=2]
105 @{echo pri 13 >/proc/$pid/ctl} >/dev/null >[2=1]
108 if(~ $#* 0){play1 stdin; exit}
109 for(i){echo $"i} | play1 args plain