devkill(1M) devkill(1M)
NAME
dev_kill - remove special devices from directories
SYNOPSIS
devkillnumber directory[directory...]
DESCRIPTION
devkill removes all special files from the specified
directories that have the major number specified by number.
It is intended to be invoked from device initialization
programs run by the autoconfiguration system (see
autoconfig(1M) and Manual For Driver Writers).
devkill silently ignores specified files that are not
directories this allows one to simply use:
devkill 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
arbitrarily removed, especially as part of an
autoconfiguration.
FILES
/etc/devkill
/dev/console
/dev/...
SEE ALSO
autoconfig(1M).
Manual for Driver Writers.
Page 1 (last mod. 1/15/87)