nightmorph 10/07/21 01:55:53
Modified: handbook-ppc64.xml hb-install-ppc64-bootloader.xml
hb-install-ppc64-disk.xml
hb-install-ppc64-kernel.xml
hb-install-ppc64-medium.xml
Log:
Update the PPC64 handbook for the autobuilds. Major version bump for this
release. Fixes bug 260403, bug 292726, and bug 234310.
Revision Changes Path
1.79 xml/htdocs/doc/en/handbook/handbook-ppc64.xml
file :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml?rev=1.79&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml?rev=1.79&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml?r1=1.78&r2=1.79
Index: handbook-ppc64.xml
===================================================================
RCS file: /var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml,v
retrieving revision 1.78
retrieving revision 1.79
diff -u -r1.78 -r1.79
--- handbook-ppc64.xml 6 Jul 2008 08:00:30 -0000 1.78
+++ handbook-ppc64.xml 21 Jul 2010 01:55:53 -0000 1.79
@@ -1,20 +1,22 @@
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE book SYSTEM "/dtd/book.dtd">
-<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml,v 1.78
2008/07/06 08:00:30 nightmorph Exp $ -->
+<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/handbook-ppc64.xml,v 1.79
2010/07/21 01:55:53 nightmorph Exp $ -->
<book>
<title>Gentoo Linux PPC64 Handbook</title>
<values>
<key id="arch">PPC64</key>
- <key id="kernel-version">2.6.24-r5</key>
- <key id="kernel-name">kernel-2.6.24-gentoo-r5</key>
- <key id="online-book">handbook-ppc64.xml</key>
- <key id="release-dir">releases/ppc/2008.0/</key>
- <key id="stage3">stage3-ppc64-32ul-2008.0.tar.bz2</key>
- <key id="profile">default/linux/ppc/ppc64/2008.0/32bit-userland</key>
+ <key id="kernel-version">2.6.31-r10</key>
+ <key id="kernel-name">kernel-2.6.31-gentoo-r10</key>
+ <key id="min-cd-name">install-powerpc-minimal-<release>.iso</key>
+ <key id="min-cd-size">105</key>
+ <key id="release-dir">releases/ppc/autobuilds/</key>
+ <key id="stage3">stage3-ppc64-32ul-<release>.tar.bz2</key>
+ <key id="profile">default/linux/powerpc/ppc64/10.0/32bit-userland</key>
<key id="CFLAGS">-O2 -pipe</key>
+ <key id="online-book">handbook-ppc64.xml</key>
</values>
<author title="Author">
@@ -135,8 +137,8 @@
<!-- See http://creativecommons.org/licenses/by-sa/2.5 -->
<license/>
-<version>9.4</version>
-<date>2008-07-06</date>
+<version>10.0</version>
+<date>2010-07-20</date>
<part>
<title>Installing Gentoo</title>
@@ -151,11 +153,6 @@
<chapter>
<title>Choosing the Right Installation Medium</title>
-<abstract>
-You can install Gentoo in many ways. This chapter explains how to install
Gentoo
-using the minimal Installation CD although installation through the Universal
-Installation CD is possible as well.
-</abstract>
<include href="hb-install-ppc64-medium.xml"/>
</chapter>
@@ -166,10 +163,6 @@
<chapter>
<title>Preparing the Disks</title>
-<abstract>
-To be able to install Gentoo, you must create the necessary partitions.
-This chapter describes how to partition a disk for future usage.
-</abstract>
<include href="hb-install-ppc64-disk.xml"/>
</chapter>
@@ -185,10 +178,6 @@
<chapter>
<title>Configuring the Kernel</title>
-<abstract>
-The Linux kernel is the core of every distribution. This chapter
-explains how to configure your kernel.
-</abstract>
<include href="hb-install-ppc64-kernel.xml"/>
</chapter>
@@ -204,12 +193,6 @@
<chapter>
<title>Configuring the Bootloader</title>
-<abstract>
-Several bootloaders exist. Each one of them has its own way of
-configuration. In this chapter we'll describe all possibilities for you
-and step you through the process of configuring a bootloader to your
-needs.
-</abstract>
<include href="hb-install-ppc64-bootloader.xml"/>
</chapter>
1.30 xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml
file :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml?rev=1.30&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml?rev=1.30&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml?r1=1.29&r2=1.30
Index: hb-install-ppc64-bootloader.xml
===================================================================
RCS file:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
--- hb-install-ppc64-bootloader.xml 2 May 2008 08:04:23 -0000 1.29
+++ hb-install-ppc64-bootloader.xml 21 Jul 2010 01:55:53 -0000 1.30
@@ -4,12 +4,19 @@
<!-- The content of this document is licensed under the CC-BY-SA license -->
<!-- See http://creativecommons.org/licenses/by-sa/2.5 -->
-<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml,v
1.29 2008/05/02 08:04:23 nightmorph Exp $ -->
+<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-bootloader.xml,v
1.30 2010/07/21 01:55:53 nightmorph Exp $ -->
<sections>
-<version>9.1</version>
-<date>2008-05-02</date>
+<abstract>
+Several bootloaders exist. Each one of them has its own way of
+configuration. In this chapter we'll describe all possibilities for you
+and step you through the process of configuring a bootloader to your
+needs.
+</abstract>
+
+<version>10.0</version>
+<date>2010-07-20</date>
<section>
<title>Making your Choice</title>
@@ -41,7 +48,7 @@
<impo>
If you are using a 64-bit userland, you must use the <c>yaboot-static</c>
package because yaboot cannot be compiled as a 64-bit application. The 32-bit
-userlands should use the regular yaboot package.
+userlands should use the regular <c>yaboot</c> package.
</impo>
<p>
@@ -175,7 +182,7 @@
<comment>#################
## This section can be duplicated if you have more than one kernel or set of
-## boot options - replace <keyval id="kernel-name"/> with your kernel-version
+## boot options - replace <keyval id="kernel-name"/> with your kernel
#################</comment>
image=/boot/<keyval id="kernel-name"/>
label=Linux
@@ -216,8 +223,8 @@
<body>
<p>
-On IBM hardware you cannot run yabootconfig or ybin. You must proceed with the
-following steps:
+On IBM hardware you cannot run <c>yabootconfig</c> or <c>ybin</c>. You must
+proceed with the following steps:
</p>
<ul>
1.35 xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml
file :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml?rev=1.35&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml?rev=1.35&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml?r1=1.34&r2=1.35
Index: hb-install-ppc64-disk.xml
===================================================================
RCS file:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml,v
retrieving revision 1.34
retrieving revision 1.35
diff -u -r1.34 -r1.35
--- hb-install-ppc64-disk.xml 26 Jan 2009 08:04:26 -0000 1.34
+++ hb-install-ppc64-disk.xml 21 Jul 2010 01:55:53 -0000 1.35
@@ -4,12 +4,17 @@
<!-- The content of this document is licensed under the CC-BY-SA license -->
<!-- See http://creativecommons.org/licenses/by-sa/2.5 -->
-<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml,v 1.34
2009/01/26 08:04:26 nightmorph Exp $ -->
+<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-disk.xml,v 1.35
2010/07/21 01:55:53 nightmorph Exp $ -->
<sections>
-<version>9.0</version>
-<date>2008-04-01</date>
+<abstract>
+To be able to install Gentoo, you must create the necessary partitions.
+This chapter describes how to partition a disk for future usage.
+</abstract>
+
+<version>10.0</version>
+<date>2010-07-20</date>
<section>
<title>Introduction to Block Devices</title>
@@ -308,12 +313,12 @@
</pre>
<p>
-Don't worry, you can create a new empty dos partition table by pressing
+Don't worry, you can create a new empty DOS partition table by pressing
<c>o</c>.
</p>
<warn>
-This will destroy any installed AIX version
+This will destroy any installed AIX version!
</warn>
<p>
@@ -321,7 +326,7 @@
</p>
<pre caption="An example partition configuration">
-Command (m for help): p
+Command (m for help): <i>p</i>
Disk /dev/sda: 30.7 GB, 30750031872 bytes
141 heads, 63 sectors/track, 6761 cylinders
@@ -359,9 +364,8 @@
</p>
<note>
-If you don't want to delete all partitions just delete those you
-want to delete. At this point the author recommends a backup of your
-data to avoid the lose of it.
+If you don't want to delete all partitions just delete those you want to
delete.
+At this point you should create a backup of your data to avoid losing it.
</note>
<pre caption="Deleting a partition">
@@ -373,7 +377,7 @@
The partition has been scheduled for deletion. It will no longer show up
if you type <c>p</c>, but it will not be erased until your changes have
been saved. If you made a mistake and want to abort without saving your
-changes, type <c>q</c> immediately and hit enter and your partition will
+changes, type <c>q</c> immediately and hit Enter and your partition will
not be deleted.
</p>
@@ -412,7 +416,7 @@
partition, then <c>p</c> to select a primary partition, followed by
<c>1</c> to select the first primary partition. When prompted for the
first cylinder, hit enter. When prompted for the last cylinder, type
-<c>+7M</c> to create a partition 7 Mbyte in size. After you've done
+<c>+7M</c> to create a partition 7 MB in size. After you've done
this, type <c>t</c> to set the partition type, <c>1</c> to select the
partition you just created and then type in <c>41</c> to set the
partition type to "PPC PReP Boot". Finally, you'll need to mark the PReP
@@ -420,7 +424,7 @@
</p>
<note>
-The PReP partition has to be smaller than 8 MByte!
+The PReP partition has to be smaller than 8 MB!
</note>
<pre caption="Creating the PReP boot partition">
@@ -520,7 +524,7 @@
</p>
<pre caption="Partition listing after creating the root partition">
-Command (m for help): p
+Command (m for help): <i>p</i>
Disk /dev/sda: 30.7 GB, 30750031872 bytes
141 heads, 63 sectors/track, 6761 cylinders
1.37 xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml
file :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml?rev=1.37&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml?rev=1.37&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml?r1=1.36&r2=1.37
Index: hb-install-ppc64-kernel.xml
===================================================================
RCS file:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml,v
retrieving revision 1.36
retrieving revision 1.37
diff -u -r1.36 -r1.37
--- hb-install-ppc64-kernel.xml 5 Aug 2009 15:25:23 -0000 1.36
+++ hb-install-ppc64-kernel.xml 21 Jul 2010 01:55:53 -0000 1.37
@@ -4,12 +4,17 @@
<!-- The content of this document is licensed under the CC-BY-SA license -->
<!-- See http://creativecommons.org/licenses/by-sa/2.5 -->
-<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml,v
1.36 2009/08/05 15:25:23 nightmorph Exp $ -->
+<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-kernel.xml,v
1.37 2010/07/21 01:55:53 nightmorph Exp $ -->
<sections>
-<version>9.1</version>
-<date>2009-08-05</date>
+<abstract>
+The Linux kernel is the core of every distribution. This chapter
+explains how to configure your kernel.
+</abstract>
+
+<version>10.0</version>
+<date>2010-07-20</date>
<section>
<title>Timezone</title>
@@ -39,15 +44,20 @@
<body>
<p>
-The core around which all distributions are built is the Linux kernel.
-It is the layer between the user programs and your system hardware.
-Gentoo provides its users several possible kernel sources. A full
-listing with description is available at the <uri
-link="/doc/en/gentoo-kernel.xml">Gentoo Kernel Guide</uri>.
+The core around which all distributions are built is the Linux kernel. It is
the
+layer between the user programs and your system hardware. Gentoo provides its
+users several possible kernel sources. A full listing with description is
+available at the <uri link="/doc/en/gentoo-kernel.xml">Gentoo Kernel
+Guide</uri>.
+</p>
+
+<p>
+For <keyval id="arch"/>-based systems we have <c>gentoo-sources</c>
+(kernel source patched for extra features).
</p>
<p>
-For PPC64 you should use <c>gentoo-sources</c>.
+Choose your kernel source and install it using <c>emerge</c>.
</p>
<pre caption="Installing a kernel source">
@@ -67,10 +77,10 @@
</pre>
<p>
-Now it is time to configure and compile your kernel source. There is the
-ability to use "genkernel" which would create a generic kernel like the
-ones used on the installation CDs, but it is not fully functional for PPC64 at
-the moment.
+Now it is time to configure and compile your kernel source. There is the
ability
+to use <c>genkernel</c> which would create a generic kernel like the ones used
+on the installation CDs, but it is not fully functional for PPC64 at the
+moment.
</p>
<p>
@@ -114,9 +124,9 @@
</pre>
<p>
-You will be greeted with several configuration sections. We'll first
-list some options you must activate (otherwise Gentoo will not function,
-or not function properly without additional tweaks).
+You will be greeted with several configuration sections. We'll first list some
+options you must activate (otherwise Gentoo will not function, or not function
+properly without additional tweaks).
</p>
</body>
@@ -198,12 +208,11 @@
<p>
When the kernel has finished compiling, copy the kernel image to
-<path>/boot</path>. Remember to replace <path><kernel-version<</path>
-with your actual kernel version:
+<path>/boot</path>.
</p>
<pre caption="Installing the kernel">
-(Apple/IBM) # <i>cp vmlinux /boot/<kernel-version></i>
+(Apple/IBM) # <i>cp vmlinux /boot/<keyval id="kernel-name"/></i>
</pre>
<p>
1.42 xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml
file :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml?rev=1.42&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml?rev=1.42&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml?r1=1.41&r2=1.42
Index: hb-install-ppc64-medium.xml
===================================================================
RCS file:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml,v
retrieving revision 1.41
retrieving revision 1.42
diff -u -r1.41 -r1.42
--- hb-install-ppc64-medium.xml 5 Aug 2009 15:25:23 -0000 1.41
+++ hb-install-ppc64-medium.xml 21 Jul 2010 01:55:53 -0000 1.42
@@ -4,12 +4,17 @@
<!-- The content of this document is licensed under the CC-BY-SA license -->
<!-- See http://creativecommons.org/licenses/by-sa/2.5 -->
-<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml,v
1.41 2009/08/05 15:25:23 nightmorph Exp $ -->
+<!-- $Header:
/var/cvsroot/gentoo/xml/htdocs/doc/en/handbook/hb-install-ppc64-medium.xml,v
1.42 2010/07/21 01:55:53 nightmorph Exp $ -->
<sections>
-<version>9.4</version>
-<date>2009-08-05</date>
+<abstract>
+You can install Gentoo in many ways. This chapter explains how to install
+Gentoo using the minimal Installation CD.
+</abstract>
+
+<version>10.0</version>
+<date>2010-07-20</date>
<section>
<title>Hardware Requirements</title>
@@ -78,12 +83,9 @@
<p>
All Installation CDs allow you to boot, set up networking, initialize your
-partitions and start installing Gentoo from the Internet. We currently provide
-two Installation CDs which are equally suitable to install Gentoo from, as
long
-as you're planning on performing an Internet-based installation using the
-latest version of the available packages.
+partitions and start installing Gentoo from the Internet.
</p>
-
+<!--
<p>
If you wish to install Gentoo without a working Internet connection, please use
the installation instructions described in the <uri
@@ -111,20 +113,20 @@
To help you decide which Installation CD you need, we have written down the
major advantages and disadvantages of each Installation CD.
</p>
-
+-->
</body>
</subsection>
<subsection>
-<title>Gentoo's Minimal Installation CD</title>
+<title>Gentoo Minimal Installation CD</title>
<body>
<p>
-The Minimal Installation CD is called
-<c>install-ppc64-minimal-2008.0.iso</c> and takes up only 124 MB of
-diskspace. You can use this Installation CD to install Gentoo, but always with
a
-working Internet connection only.
+The Minimal Installation CD is called <c><keyval id="min-cd-name"/></c> and
+takes up only <keyval id="min-cd-size"/> MB of diskspace. You can use this
+Installation CD to install Gentoo, but <e>only</e> with a working Internet
+connection.
</p>
-
+<!--
<table>
<tr>
<th>Minimal Installation CD</th>
@@ -173,7 +175,7 @@
<ti>Huge download</ti>
</tr>
</table>
-
+-->
</body>
</subsection>
<subsection>
@@ -181,16 +183,23 @@
<body>
<p>
-A stage3 tarball is an archive containing a minimal Gentoo environment,
suitable
-to continue the Gentoo installation using the instructions in this manual.
-Previously, the Gentoo Handbook described the installation using one of three
-stage tarballs. While Gentoo still offers stage1 and stage2 tarballs, the
+A stage3 tarball is an archive containing a minimal Gentoo environment,
+suitable to continue the Gentoo installation using the instructions in this
+manual. Previously, the Gentoo Handbook described the installation using one of
+three stage tarballs. While Gentoo still offers stage1 and stage2 tarballs, the
official installation method uses the stage3 tarball. If you are interested in
performing a Gentoo installation using a stage1 or stage2 tarball, please read
the Gentoo FAQ on <uri link="/doc/en/faq.xml#stage12">How do I Install Gentoo
Using a Stage1 or Stage2 Tarball?</uri>
</p>
+<p>
+Stage3 tarballs can be downloaded from <path><keyval
+id="release-dir"/>current-stage3/</path> on any of the <uri
+link="/main/en/mirrors.xml">Official Gentoo Mirrors</uri> and are not provided
+on the LiveCD.
+</p>
+
</body>
</subsection>
<subsection>
@@ -198,11 +207,11 @@
<body>
<p>
-On PPC64, the kernel is 64-bit and the <e>userland</e> can be 32-bit or
64-bit. The
-userland is basically the applications you are running, such as
-<c>bash</c> or <c>mozilla-firefox</c>. They can be compiled and run in either
-64-bit or 32-bit modes. The Gentoo/PPC64 team provides both 32-bit and 64-bit
-userlands, so which one should you use?
+On PPC64, the kernel is 64-bit and the <e>userland</e> can be 32-bit or 64-bit.
+The userland is basically the applications you are running, such as <c>bash</c>
+or <c>firefox</c>. They can be compiled and run in either 64-bit or
+32-bit modes. The Gentoo/PPC64 team provides both 32-bit and 64-bit userlands,
+so which one should you use?
</p>
<p>
@@ -213,10 +222,10 @@
<p>
You really only need 64-bit applications when you need more memory than a
32-bit
-userland allows, or if you do a lot of 64-bit number crunching. If you run
-applications that require more than 4GB of memory or you run scientific
-applications, you should choose the 64-bit userland. Otherwise, choose the
-32-bit userland, as it is recommended by the Gentoo/PPC64 developers.
+userland allows, or if you do a lot of 64-bit number crunching. If you have 4GB
+or more of memory or you run scientific applications, you should choose the
+64-bit userland. Otherwise, choose the 32-bit userland, as it is recommended by
+the Gentoo/PPC64 developers.
</p>
<p>
@@ -230,12 +239,6 @@
their code is fixed, such as OpenOffice.
</p>
-<p>
-The Gentoo/PPC64 team provides stages and Package CDs for both 32-bit and
64-bit
-userlands, so no matter which one you choose, you'll be able to successfully
-install Gentoo and get a full system up and running with minimal fuss.
-</p>
-
</body>
</subsection>
</section>
@@ -253,10 +256,9 @@
</p>
<p>
-You can download any of the Installation CDs (and, if you want to, a Packages
CD
-as well) from one of our <uri link="/main/en/mirrors.xml">mirrors</uri>. The
-Installation CDs are located in the <path><keyval
-id="release-dir"/>installcd</path> directory.
+You can download any of the Installation CDs from one of our <uri
+link="/main/en/mirrors.xml">mirrors</uri>. The Installation CDs are located in
+the <path><keyval id="release-dir"/>current-iso/</path> directory.
</p>
<p>
@@ -265,9 +267,9 @@
</p>
<p>
-In case you wonder if your downloaded file is corrupted or not, you can
-check its MD5 checksum and compare it with the MD5 checksum we provide (such as
-<path>install-ppc64-minimal-2008.0.iso.DIGESTS</path>). You can check the MD5
+In case you wonder if your downloaded file is corrupted or not, you can check
+its MD5 checksum and compare it with the MD5 checksum we provide (such as
+<path><keyval id="min-cd-name"/>.DIGESTS</path>). You can check the MD5
checksum with the <c>md5sum</c> tool under Linux/Unix or <uri
link="http://www.etree.org/md5com.html";>md5sum</uri> for Windows.
</p>
@@ -279,15 +281,18 @@
</p>
<pre caption="Obtaining the public key">
-$ <i>gpg --keyserver subkeys.pgp.net --recv-keys 17072058</i>
+$ <i>gpg --keyserver subkeys.pgp.net --recv-keys 2D182910</i>
</pre>
<p>
Now verify the signature:
</p>
-<pre caption="Verify the cryptographic signature">
-$ <i>gpg --verify <signature file> <downloaded iso></i>
+<pre caption="Verify the files">
+<comment>(Verify the cryptographic signature)</comment>
+$ <i>gpg --verify <downloaded iso.DIGESTS.asc></i>
+<comment>(Verify the checksum)</comment>
+$ <i>sha1sum -c <downloaded iso.DIGESTS.asc></i>
</pre>
<p>
