diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2010-08-12 18:26:07 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-08-12 18:26:07 +0200 |
commit | f7b67c25ff4a3f1f290c29a70500292344c59a1e (patch) | |
tree | d856be9b4dd6a40392044e21f0e4eb9a17d741e4 | |
parent | 65d654a9d7f021d128bf783e0f498cf9b5c9a7a3 (diff) | |
download | devtools-f7b67c25ff4a3f1f290c29a70500292344c59a1e.tar.gz devtools-f7b67c25ff4a3f1f290c29a70500292344c59a1e.tar.xz |
Provide /dev/{shm,pts} within chroot
implements FS#20246
-rwxr-xr-x | mkarchroot | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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}" } |