26 tmp=(/tmp/play.$pid.$#tmp.tmp $tmp)
27 dd -bs 8192 -count 1 >$tmp(1) >[2]/dev/null
28 cat $tmp(1) /fd/0 | play1 $1 `{file -m $tmp(1)}
34 sed 's/
\r//g' | while(j=`{read}){
36 if(~ $"j http:* https:* HTTP:* HTTPS:*){
37 hget -r 'User-Agent: play' -r 'Icy-MetaData: 0' $"j | play1 $"j
43 echo $argv0: 'can''t open file:' $"j >[1=2]
60 games/mus | games/midi -c
62 awk 'BEGIN {FS="="} /^File/{print $2}' | play1 list plain
78 games/mus | games/midi -c
80 echo $argv0: $1: unknown format: $2 >[1=2]
87 echo usage: $argv0 '[ -o file ] [ file ... ]' >[1=2]
103 @{echo pri 13 >/proc/$pid/ctl} >/dev/null >[2=1]
106 if(~ $#* 0){play1 stdin; exit}
107 for(i){echo $i} | play1 args plain