diff options
| author | Karsten Merker <merker@debian.org> | 2012-09-16 19:02:51 +0000 |
|---|---|---|
| committer | Karsten Merker <merker@debian.org> | 2012-09-16 19:02:51 +0000 |
| commit | 2e3862e12774c3e703775a8d400f0e68ac6a76ba (patch) | |
| tree | 098f18e9d32d0e69988c9369ead06cf13900b720 /en/preparing | |
| parent | a7041d7bd7eab101dafb6b0c2fab7e2e58c35232 (diff) | |
| download | installation-guide-2e3862e12774c3e703775a8d400f0e68ac6a76ba.zip | |
manual/en/preparing/bios-setup/i386.xml
manual/en/hardware/hardware-supported.xml
manual/en/hardware/buying-hardware.xml
Replaced literal quotes ("")
by <quote></quote> tags to ensure proper typesetting.
Thanks to Holger Wansing for pointing this out.
Diffstat (limited to 'en/preparing')
| -rw-r--r-- | en/preparing/bios-setup/i386.xml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/en/preparing/bios-setup/i386.xml b/en/preparing/bios-setup/i386.xml index fddc947ae..c9c6d6324 100644 --- a/en/preparing/bios-setup/i386.xml +++ b/en/preparing/bios-setup/i386.xml @@ -38,7 +38,8 @@ are not already enabled. Most BIOS versions allow to call up a boot menu on system startup in which you select from which device the computer should start for the current session. If this option is available, the BIOS usually displays -a short message like "press <keycap>F12</keycap> for boot menu" on system startup. +a short message like <quote>press <keycap>F12</keycap> for boot +menu</quote> on system startup. The actual key used to select this menu varies from system to system; commonly used keys are <keycap>F12</keycap>, <keycap>F11</keycap> and <keycap>F8</keycap>. Choosing a device from this menu does not change @@ -59,10 +60,11 @@ a USB stick might not work even if there is an appropriate option in the BIOS setup menu and the stick is selected as the primary boot device. On some of these systems using a USB stick as boot medium is impossible; others can be tricked into booting from the stick by changing the device type in -the BIOS setup from the default "USB harddisk" or "USB stick" to "USB ZIP" -or "USB CDROM". In particular if you use an isohybrid CD/DVD image on a USB stick +the BIOS setup from the default <quote>USB harddisk</quote> or <quote>USB +stick</quote> to <quote>USB ZIP</quote> or <quote>USB CDROM</quote>. +In particular if you use an isohybrid CD/DVD image on a USB stick (see <xref linkend="usb-copy-isohybrid"/>), changing the device type to -"USB CDROM" helps on some BIOSes which will not boot from a USB stick in +<quote>USB CDROM</quote> helps on some BIOSes which will not boot from a USB stick in USB harddisk mode. </para> |