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