blob: a4033fbfc6d26d5a68feb43f2f7059f05dc619be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
# ProteanOS Development Kit
# lib/chroot.sh
# Functions for setting up isolated file system environments
#
# Copyright (C) 2014 Patrick "P. J." McDermott
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
[ "x${_CHROOT_SM+set}" = 'xset' ] && return 0
_CHROOT_SM=1
use profile
chroot_mount()
{
local root="${1}"
local arch=
local plat=
local fs=
local dir=
local fstype=
local options=
arch="$(cat "${root}/etc/proteanos_arch")"
plat="$(cat "${root}/etc/proteanos_plat")"
while read fs dir fstype options; do
[ "x${dir}" = 'x' ] && continue
mount -t "${fstype}" -o "${options}" "${fs}" "${root}/${dir}"
done <<-EOF
$(profile_get_fstab "${arch}" "${plat}")
EOF
}
chroot_umount()
{
local root="${1}"
local arch=
local plat=
local fs=
local dir=
local fstype=
local options=
arch="$(cat "${root}/etc/proteanos_arch")"
plat="$(cat "${root}/etc/proteanos_plat")"
while read fs dir fstype options; do
[ "x${dir}" = 'x' ] && continue
# umount sometimes complains that the /dev file system is busy.
# Here's a kludge to try to handle that. We better make sure
# bind mounts get unmounted; otherwise, `rm -Rf ${root}` can be
# painful.
while ! umount "${root}/${dir}"; do
sleep 1
done
done <<-EOF
$(profile_get_fstab "${arch}" "${plat}" | sed -n '1!G;h;$p')
EOF
}
chroot_exec()
{
local root="${1}"
shift 1
chroot_mount "${root}"
chroot "${root}" "${@}"
chroot_umount "${root}"
}
|
