Commit ad7693e6 authored by sajolida's avatar sajolida

Write 'Boot Menu' consistently

parent 8657a6d1
......@@ -49,6 +49,11 @@
- The Boot Loader is the first screen that appears when starting Tails.
- Use *Boot Menu* and *Boot Menu key* when referring to the BIOS
screen that allows choosing from which device to start from.
[[!img install/inc/screenshots/bios_boot_menu.png link="no" alt=""]]
- Use *boot* when referring to *boot options*, which are only
documented for workarounds or a technical audience.
......
......@@ -52,7 +52,7 @@ and distribution terms:
Attribution-ShareAlike 4.0 International License</a>, copyright Thomas
Verguet.
- The [[boot menu animation|install/win/usb#animation]] is licensed
- The [[Boot Menu animation|install/win/usb#animation]] is licensed
under the <a href="https://creativecommons.org/licenses/by-sa/4.0/">Creative Commons
Attribution-ShareAlike 4.0 International License</a>, copyright [Odile
Carabantes](https://studiomoare.com/) and [Enso
......
......@@ -4,7 +4,7 @@
model of the computer:</p>
<ul>
<li>On most computers, our basic instructions to get to the boot menu
<li>On most computers, our basic instructions to get to the Boot Menu
work fine.</li>
<li>On some computers, you might have to do more advanced techniques,
like editing the BIOS settings.</li>
......@@ -25,12 +25,12 @@ can skip the rest of this section and <a href="#greeter">wait until
</div>
<h3 id="boot-menu">Getting to the boot menu</h3>
<h3 id="boot-menu">Getting to the Boot Menu</h3>
<p>On most computers, you can press a <em>boot menu key</em> to display
<p>On most computers, you can press a <em>Boot Menu key</em> to display
a list of possible devices to start from. The following instructions
explain how to display the boot menu and start on the USB stick. The
following screenshot is an example of a boot menu:</p>
explain how to display the Boot Menu and start on the USB stick. The
following screenshot is an example of a Boot Menu:</p>
<p>[[!img install/inc/screenshots/bios_boot_menu.png link="no" alt=""]]</p>
......@@ -47,7 +47,7 @@ following screenshot is an example of a boot menu:</p>
</li>
<li>
<p>Identify the possible boot menu keys for the computer depending on
<p>Identify the possible Boot Menu keys for the computer depending on
the computer manufacturer in the following list:</p>
<table>
......@@ -67,25 +67,25 @@ following screenshot is an example of a boot menu:</p>
<div class="tip">
<p>On many computers, a message is displayed very briefly when switching on
that also explains how to get to the boot menu or edit the BIOS settings.</p>
that also explains how to get to the Boot Menu or edit the BIOS settings.</p>
</div>
</li>
<li>
<p>Switch on the computer and immediately press several times the first
possible boot menu key identified in step 2.</p>
possible Boot Menu key identified in step 2.</p>
</li>
<li>
<p>If the computer starts on another operating system or returns an
error message, shut down the computer again and repeat step
3 for all the possible boot menu keys identified in step 2.</p>
3 for all the possible Boot Menu keys identified in step 2.</p>
<p>If a boot menu with a list of devices appears, select your USB stick
<p>If a Boot Menu with a list of devices appears, select your USB stick
and press <span class="keycap">Enter</span>.</p>
<div class="note">
<p>If the boot menu key that works on your computer is a different one than
<p>If the Boot Menu key that works on your computer is a different one than
the first in the list, please let us know so we can improve the list. You can write to
[[sajolida@pimienta.org]] (private email).</p>
</div>
......@@ -93,7 +93,7 @@ following screenshot is an example of a boot menu:</p>
</ol>
<p id="animation">This animation explains how to use the boot menu key:</p>
<p id="animation">This animation explains how to use the Boot Menu key:</p>
<video controls="true" width="640" height="360" poster="https://tails.boum.org/install/inc/videos/boot-menu-key.png">
<source src="https://tails.boum.org/install/inc/videos/boot-menu-key.webm" type="video/webm" />
......@@ -107,8 +107,8 @@ in our [[list of known issues|support/known_issues]].</p>
<h3 id="bios-settings">Edit the BIOS settings</h3>
<p>If none of the possible boot menu keys from the previous technique work, or if
the USB stick does not appear in the boot menu, you might need to edit your BIOS
<p>If none of the possible Boot Menu keys from the previous technique work, or if
the USB stick does not appear in the Boot Menu, you might need to edit your BIOS
settings.</p>
<div class="tip">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment