(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index b5fe52c2b0efbde9b534891f8de652214e6fd91d..1f1d21af8f2e0d03e0a6bc469e566e88c31252f1 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -21,7 +21,11 @@ Then run these commands:
     apt-get install debootstrap schroot
     mkdir /opt/chroot/coriolis
     /usr/sbin/debootstrap stretch !$ http://ftp.us.debian.org/debian
-    mount -a
+    mount /home/chroot/coriolis/dev
+    mount /home/chroot/coriolis/dev/pts
+    mount   /home/chroot/coriolis/proc
+    mount   /home/chroot/coriolis/sys
+    mount   /home/chroot/coriolis/tmp
     echo "coriolis2" > /home/chroot/coriolis/etc/debian_chroot
 
 To do some preparation (users):