diff --git a/en_US.ISO8859-1/books/faq/book.sgml b/en_US.ISO8859-1/books/faq/book.sgml
index 614dbf1e9e..2872a66a37 100644
--- a/en_US.ISO8859-1/books/faq/book.sgml
+++ b/en_US.ISO8859-1/books/faq/book.sgml
@@ -2553,29 +2553,31 @@ disk wd2 at wdc1 drive 1 # change from wd3 to wd2/dev/ukbd0.
- If you want to use the USB keyboard in the console, you
- have to explicitly tell the console driver to use the existing
- USB keyboard. This can be done by running the following
- command as a part of system initialization.
+ If you want to use the USB keyboard in the console,
+ you have to explicitly tell the console driver to use the
+ existing USB keyboard. This can be done by running the
+ following command as a part of system
+ initialization.
&prompt.root; kbdcontrol -k /dev/kbd1 < /dev/ttyv0 > /dev/null
- Note that if the USB keyboard is the only keyboard, it is
- accessed as /dev/kbd0, thus, the command
- should look like:
+ Note that if the USB keyboard is the only keyboard, it
+ is accessed as /dev/kbd0, thus,
+ the command should look like:
&prompt.root; kbdcontrol -k /dev/kbd0 < /dev/ttyv0 > /dev/null
- /etc/rc.i386 is a good place to add the
- above command.
+ /etc/rc.i386 is a good place to
+ add the above command.
- Once this is done, the USB keyboard should work in the X
- environment as well without any special settings.
+ Once this is done, the USB keyboard should work in the
+ X environment as well without any special settings.
- Hot-plugging and unplugging of the USB keyboard may not
- work quite right yet. We recommend connecting the keyboard
- before starting the system and leaving it connected until the
- system is shutdown to avoid troubles.
+ Hot-plugging and unplugging of the USB keyboard may
+ not work quite right yet. We recommend connecting the
+ keyboard before starting the system and leaving it
+ connected until the system is shutdown to avoid
+ troubles.
See the &man.ukbd.4; manual page for more information.
@@ -2583,7 +2585,8 @@ disk wd2 at wdc1 drive 1 # change from wd3 to wd2
- I have an unusual bus mouse. How do I set it up?
+ I have an unusual bus mouse. How do I set it
+ up?
@@ -2597,9 +2600,10 @@ disk wd2 at wdc1 drive 1 # change from wd3 to wd2device mse0 at isa? port 0x23c irq5
Bus mice usually come with dedicated interface cards.
- These cards may allow you to set the port address and the IRQ
- number other than shown above. Refer to the manual of your
- mouse and the &man.mse.4; manual page for more information.
+ These cards may allow you to set the port address and the
+ IRQ number other than shown above. Refer to the manual of
+ your mouse and the &man.mse.4; manual page for more
+ information.
@@ -2612,11 +2616,11 @@ disk wd2 at wdc1 drive 1 # change from wd3 to wd2
The PS/2 mouse is supported out-of-the-box. The
necessary device driver, psm, is
- included in the GENERIC kernel.
+ included in the kernel.
If your custom kernel does not have this, add the
- following line to your kernel configuration
- and compile a new kernel.
+ following line to your kernel configuration and compile a
+ new kernel.
device psm0 at atkbdc? irq 12