summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2010-08-12 18:26:07 +0200
committerPierre Schmitz <pierre@archlinux.de>2010-08-12 18:26:07 +0200
commitf7b67c25ff4a3f1f290c29a70500292344c59a1e (patch)
treed856be9b4dd6a40392044e21f0e4eb9a17d741e4
parent65d654a9d7f021d128bf783e0f498cf9b5c9a7a3 (diff)
downloaddevtools-f7b67c25ff4a3f1f290c29a70500292344c59a1e.tar.gz
devtools-f7b67c25ff4a3f1f290c29a70500292344c59a1e.tar.xz
Provide /dev/{shm,pts} within chroot
implements FS#20246
-rwxr-xr-xmkarchroot8
1 files changed, 8 insertions, 0 deletions
diff --git a/mkarchroot b/mkarchroot
index 1e86440..8f3a118 100755
--- a/mkarchroot
+++ b/mkarchroot
@@ -84,6 +84,12 @@ chroot_mount() {
[ -e "${working_dir}/dev" ] || mkdir "${working_dir}/dev"
mount -o bind /dev "${working_dir}/dev"
+ [ -e "${working_dir}/dev/shm" ] || mkdir "${working_dir}/dev/shm"
+ mount -t tmpfs shm /dev/shm "${working_dir}/dev/shm"
+
+ [ -e "${working_dir}/dev/pts" ] || mkdir "${working_dir}/dev/pts"
+ mount -t devpts devpts /dev/pts "${working_dir}/dev/pts"
+
[ -e "${cache_dir}" ] || mkdir -p "${cache_dir}"
[ -e "${working_dir}/${cache_dir}" ] || mkdir -p "${working_dir}/${cache_dir}"
mount -o bind "${cache_dir}" "${working_dir}/${cache_dir}"
@@ -99,6 +105,8 @@ copy_hostconf () {
chroot_umount () {
umount "${working_dir}/proc"
umount "${working_dir}/sys"
+ umount "${working_dir}/dev/pts"
+ umount "${working_dir}/dev/shm"
umount "${working_dir}/dev"
umount "${working_dir}/${cache_dir}"
}