blob: 4aea1d1043f73fde061355c6c67495408eb8cb57 (
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
82
|
# Functions for setting up isolated file system environments
#
# Copyright (C) 2014 Patrick "P. J." McDermott
#
# This file is part of the ProteanOS Development Kit.
#
# The ProteanOS Development Kit 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.
#
# The ProteanOS Development Kit 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 the ProteanOS Development Kit. 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}"
}
|