Changeset 0b400add for chapter06

Timestamp:

11/01/2003 03:47:06 AM (21 years ago)

Author:

Greg Schafer <greg@…>

Branches:

10.0, 10.0-rc1, 10.1, 10.1-rc1, 11.0, 11.0-rc1, 11.0-rc2, 11.0-rc3, 11.1, 11.1-rc1, 11.2, 11.2-rc1, 11.3, 11.3-rc1, 12.0, 12.0-rc1, 12.1, 12.1-rc1, 12.2, 12.2-rc1, 6.0, 6.1, 6.1.1, 6.3, 6.4, 6.5, 6.6, 6.7, 6.8, 7.0, 7.1, 7.2, 7.3, 7.4, 7.5, 7.5-systemd, 7.6, 7.6-systemd, 7.7, 7.7-systemd, 7.8, 7.8-systemd, 7.9, 7.9-systemd, 8.0, 8.1, 8.2, 8.3, 8.4, 9.0, 9.1, arm, bdubbs/gcc13, ml-11.0, multilib, renodr/libudev-from-systemd, s6-init, trunk, v5_0, v5_1, v5_1_1, xry111/arm64, xry111/arm64-12.0, xry111/clfs-ng, xry111/lfs-next, xry111/loongarch, xry111/loongarch-12.0, xry111/loongarch-12.1, xry111/loongarch-12.2, xry111/mips64el, xry111/multilib, xry111/pip3, xry111/rust-wip-20221008, xry111/update-glibc

Children:

73aedd1d

Parents:

7cf35f7

Message:

Textual correction from Bryan K.

git-svn-id: ​http://svn.linuxfromscratch.org/LFS/trunk/BOOK@3051 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689

File:

• chapter06/mountproc.xml (modified) (1 diff)

chapter06/mountproc.xml

@@ -45 +45 @@
 without support for the devpts file system. You can check which file systems
 your kernel supports by peeking into its internals with a command such as
-<userinput>cat /proc/filesystems</userinput>. If for some reason devpts is
-listed there but the mount still doesn't work, check instead for a different
-file system variety called <emphasis>devfs</emphasis>. If devfs is listed then
-we'll be able to work around the problem by mounting the host's devfs file
-system on top of the new <filename>/dev</filename> structure which we'll create
-later on in the "Creating devices (Makedev)" section. If devfs was not listed,
-do not worry because there is yet a third way to get PTYs working inside the
-chroot environment. We'll cover this shortly in the aforementioned Makedev
+<userinput>cat /proc/filesystems</userinput>. If a file system type named
+<emphasis>devfs</emphasis> is listed there, then we'll be able to work around
+the problem by mounting the host's devfs file system on top of the new
+<filename>/dev</filename> structure which we'll create later on in the
+"Creating devices (Makedev)" section. If devfs was not listed, do not worry
+because there is yet a third way to get PTYs working inside the chroot
+environment. We'll cover this shortly in the aforementioned Makedev
 section.</para>