diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/rc | 5 | ||||
-rw-r--r-- | etc/rc.devfs | 14 |
2 files changed, 18 insertions, 1 deletions
@@ -1,5 +1,5 @@ #!/bin/sh -# $Id: rc,v 1.153 1998/09/07 17:18:36 cracauer Exp $ +# $Id: rc,v 1.154 1998/09/09 22:27:21 jraynard Exp $ # From: @(#)rc 5.27 (Berkeley) 6/5/91 # System startup script run by init on autoboot @@ -338,6 +338,9 @@ if [ "X${local_startup}" != X"NO" ]; then echo . fi +# Run rc.devfs if present to customify devfs +[ -f /etc/rc.devfs ] && sh /etc/rc.devfs + # Do traditional (but rather obsolete) rc.local file if it exists. [ -f /etc/rc.local ] && sh /etc/rc.local diff --git a/etc/rc.devfs b/etc/rc.devfs new file mode 100644 index 0000000..d0d5279 --- /dev/null +++ b/etc/rc.devfs @@ -0,0 +1,14 @@ +# +# $Id$ +# +# If there is a global system configuration file, suck it in. +if [ -f /etc/rc.conf ]; then + . /etc/rc.conf +fi + +# Setup DEVFS, ie permisisons, links etc. + +echo -n 'Setting up DEVFS: ' +ln -fs ttyv0 vga + +echo '.' |