Add --distribution option to choose which distribution of Debian to use.

[xodist] / functions.sh

diff --git a/functions.sh b/functions.sh
index 226b8b4fdb0c5df2337ce8e1605eedea77a34681..a16686767aab714ee13852018794477301f85a7e 100644 (file)
--- a/functions.sh
+++ b/functions.sh
@@ -83,3 +83,19 @@ then
 boot
 EOF
 }
+
+chroot_internal_mounts()
+{
+    root_dir="$1"
+    mount -t proc proc ${root_dir}/proc
+    mount -t devpts devpts ${root_dir}/dev/pts
+    mount -t tmpfs tmpfs ${root_dir}/var/cache/apt/cache
+}
+
+chroot_internal_umounts()
+{
+    root_dir="$1"
+    umount ${root_dir}/proc
+    umount ${root_dir}/dev/pts
+    umount ${root_dir}/var/cache/apt/cache
+}