diff options
Diffstat (limited to 'chapter06/makedev-inst.xml')
| -rw-r--r-- | chapter06/makedev-inst.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/chapter06/makedev-inst.xml b/chapter06/makedev-inst.xml index 571029432..75b3ecef8 100644 --- a/chapter06/makedev-inst.xml +++ b/chapter06/makedev-inst.xml @@ -35,5 +35,14 @@ create devices via the <emphasis>mknod</emphasis> program. Please refer to the man and info pages of <emphasis>mknod</emphasis> if you need more information.</para> +<para>Also, if earlier in Chapter 6 you were unable to mount the devpts +filesystem because your host uses devfs, we will now mount that devfs +system over top of this new static /dev structure. This poses no problems, +as the device nodes created are still present, they are just hidden by the +new devfs filesystem. Run the following command to mount devfs, if necessary: +</para> + +<para><screen><userinput>mount -t devfs devfs /dev</userinput></screen></para> + </sect2> |