summaryrefslogtreecommitdiffstats
path: root/lib/chroot.sh
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}"
}