freebsd-dev/release/picobsd/help/kget.hlp.en

22 lines
626 B
Plaintext
Raw Normal View History

1998-08-27 17:38:45 +00:00
kget Get list of kernel configuration.
This utility allows to gather device configuration which possibly
was changed in userconfig (-c) session, and to save it to /kernel.config
file on startup floppy, so that when user boots next time, the
settings will automatically be changed.
Usage is straightforward:
kget [-incore|kernel_name] [vanilla]
E.g.: Get device configuration of running kernel
kget -incore
Produce list of parameters changed from /stand/vanilla
kget -incore /stand/vanilla
(You can redirect the stdout to /kernel.config - this list
already contains all the requires keywords.)