Luigi Rizzo 62afeb55c9 Further cleanup: remove useless entries from PATH, and be prepared ...

to use kern.bootdevname (if available) to identify the boot device
for updating the configuration. Fallback to /dev/fd0 as before.

2002-03-08 12:43:57 +00:00

..

etc

Further cleanup: remove useless entries from PATH, and be prepared

2002-03-08 12:43:57 +00:00

stand

Unbreak "update" script, by doing a mkdir -p of the relevant

2002-03-08 12:14:46 +00:00