summaryrefslogtreecommitdiffstats
path: root/lib/profile.sh
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2014-10-07 20:30:51 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-10-07 20:30:51 (EDT)
commitd7325b15a0949cef77707be5fd0bf864d6338c57 (patch)
treef10d1191c1a05056bef57b2569bd096fdd973d7d /lib/profile.sh
parentd8c058f9e333ae7d99030c64f9c19c47b3a35085 (diff)
parent6ca3ac8f4d34f2f0348d64178dc0b3e8ccd7aa7f (diff)
Merge branch 'feature/sessions'
Diffstat (limited to 'lib/profile.sh')
-rw-r--r--lib/profile.sh31
1 files changed, 31 insertions, 0 deletions
diff --git a/lib/profile.sh b/lib/profile.sh
index caa1160..5ec2309 100644
--- a/lib/profile.sh
+++ b/lib/profile.sh
@@ -124,6 +124,37 @@ profile_get_fstab()
"prof_${profile}_get_fstab" "${arch}" "${plat}"
}
+profile_file_systems_mounted()
+{
+ local root="${1}"
+ local arch="${1}"
+ local plat="${2}"
+
+ "prof_${profile}_file_systems_mounted" "${root}" "${arch}" "${plat}"
+}
+
+profile_bind_mount()
+{
+ local arch="${1}"
+ local plat="${2}"
+ local olddir="${3}"
+ local newdir="${4}"
+
+ "prof_${profile}_bind_mount" "${arch}" "${plat}" \
+ "${olddir}" "${newdir}"
+}
+
+profile_bind_umount()
+{
+ local arch="${1}"
+ local plat="${2}"
+ local olddir="${3}"
+ local newdir="${4}"
+
+ "prof_${profile}_bind_umount" "${arch}" "${plat}" \
+ "${olddir}" "${newdir}"
+}
+
profile_configure_system_native()
{
local root="${1}"