Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ dev_kill(1M) — A/UX 0.7

Media Vault

Software Library

Restoration Projects

Artifacts Sought

Related Articles

autoconfig(1M)



     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)



Typewritten Software • bear@typewritten.org • Edmonds, WA 98026