dev_kill(1M) dev_kill(1M)NAME dev_kill - remove devices files within a directory SYNOPSIS dev_kill number directory [directory...] DESCRIPTION dev_kill removes all device files from the specified direc- tories that have the major number specified by number. It is intended to be invoked from device initialization pro- grams run by the autoconfiguration system (see autoconfig(1M) and Building A/UX Device Drivers) dev_kill silently ignores specified files that are not directories. This allows one to simply use: dev_kill 4 /dev /dev/* without getting thousands of errors. A certain number of devices required by the system (e.g. /dev/console, etc.) have fixed (small) major numbers and should not be arbi- trarily removed, especially as part of an autoconfiguration. FILES /etc/dev_kill /dev/console /dev/... SEE ALSO autoconfig(1M). Building A/UX Device Drivers. April, 1990 1