hdrs 106 B

1234567
  1. #!/bin/rc
  2. if(! ~ $#* 1) {
  3. echo 'usage: hdrs file.9gz' >[1=2]
  4. exit usage
  5. }
  6. gunzip < $1 | disk/mkext -h