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