5 echo usage: $argv0 '[ -l | -o file] [ -p body | -P ] [ -r header ] [ -m method ] [ -b baseurl ] url' >[1=2]
48 s=`{ls -l $o | awk '{print $6}'}
50 <[3=0] <>/mnt/web/clone {
53 echo -n baseurl $b >[1=0]
55 if(! ~ $s 0 && ~ $#p 0 && ~ $#P 0 && ~ $#m 0){
57 echo -n headers $i >[1=0]
58 echo -n request HEAD >[1=0]
60 if(~ $s `{cat $d/contentlength >[2]/dev/null})
64 echo -n baseurl $b >[1=0]
66 r=($r 'Range: bytes='^$s^'-')
69 echo -n headers $i >[1=0]
71 echo -n request $m >[1=0]
72 if(! ~ $#p 0 || ! ~ $#P 0){
82 echo `{cat $d/parsed/url}
86 l=`{cat $d/contentlength >[2]/dev/null}
87 x=`{awk 'BEGIN{FS=" |-"}/^bytes ([0-9]+)\-/{print $2}' \
88 $d/contentrange >[2]/dev/null}
89 if(~ $s $l && ~ $#x 0)
95 c=`{cat $d/contentencoding >[2]/dev/null}
98 ~ `{cat $d/contenttype >[2]/dev/null} *gzip* || exec gunzip
100 ~ `{cat $d/contenttype >[2]/dev/null} *bzip2* || exec bunzip2
102 ~ `{cat $d/contenttype >[2]/dev/null} *compress* || exec uncompress