#! /bin/sh driverdisk_handler () { # TODO: --type= warn "driver disks not supported" }