diff options
| author | Alex Gronenwoud <alex@linuxfromscratch.org> | 2003-10-22 22:26:46 +0000 |
|---|---|---|
| committer | Alex Gronenwoud <alex@linuxfromscratch.org> | 2003-10-22 22:26:46 +0000 |
| commit | 360e2c43cd050de14a654927da9a7610af9e38ce (patch) | |
| tree | fa36484dc5954a41335c6ec7ddf0b305c020129d /chapter06/mountproc.xml | |
| parent | 1612f40eb9f1b8ea766ea308e40d6b3fe14f6fc5 (diff) | |
Adding some markup and doing miscellaneous shuffles.
git-svn-id: http://svn.linuxfromscratch.org/LFS/trunk/BOOK@3029 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689
Diffstat (limited to 'chapter06/mountproc.xml')
| -rw-r--r-- | chapter06/mountproc.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter06/mountproc.xml b/chapter06/mountproc.xml index 5851c9cf7..bef20df46 100644 --- a/chapter06/mountproc.xml +++ b/chapter06/mountproc.xml @@ -5,7 +5,7 @@ <para>In order for certain programs to function properly, the <emphasis>proc</emphasis> and <emphasis>devpts</emphasis> file systems must be available within the chroot environment. A file system can be mounted as many -times and in as many places as you like, thus it's not a problem that the these +times and in as many places as you like, thus it's not a problem that these file systems are already mounted on your host system -- especially so because they are virtual file systems.</para> @@ -44,7 +44,7 @@ now the most common way for pseudo terminals (PTYs) to be implemented.</para> <para>The most likely cause is that your host system's kernel was compiled 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 +<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 |