25 tmp=/tmp/play.$pid.tmp
26 dd -bs 64 -count 1 >$tmp >[2]/dev/null
27 cat $tmp /fd/0 | play1 `{file -m $tmp} xxx
33 sed 's/
\r//g' | while(j=`{read}){
36 if(~ $"j http:* https:* HTTP:* HTTPS:*){
38 hget -r 'Icy-MetaData: 0' $j | play1 $t
42 if(~ $#t 0 && ~ $"j *mp3*) t=mp3
46 echo $argv0: 'can''t open file:' $"j >[1=2]
57 awk 'BEGIN {FS="="} /^File/{print $2}' | play1 plain
59 echo $argv0: unknown format: $1 >[1=2]
65 echo usage: $argv0 [ -t type ] [-o file ] [ file ... ] >[1=2]
84 if(~ $#* 0){play1 $typ; exit}
85 for(i){echo $i} | play1 plain