summaryrefslogtreecommitdiffstats
path: root/lib/profile
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
parentd8c058f9e333ae7d99030c64f9c19c47b3a35085 (diff)
parent6ca3ac8f4d34f2f0348d64178dc0b3e8ccd7aa7f (diff)
Merge branch 'feature/sessions'
Diffstat (limited to 'lib/profile')
-rw-r--r--lib/profile/proteanos.sh37
1 files changed, 37 insertions, 0 deletions
diff --git a/lib/profile/proteanos.sh b/lib/profile/proteanos.sh
index 2e0739c..ee3627d 100644
--- a/lib/profile/proteanos.sh
+++ b/lib/profile/proteanos.sh
@@ -175,6 +175,43 @@ prof_proteanos_get_fstab()
esac
}
+prof_proteanos_file_systems_mounted()
+{
+ local root="${1}"
+ local arch="${2}"
+ local plat="${3}"
+
+ [ -e "${root}/dev/null" ]
+}
+
+prof_proteanos_bind_mount()
+{
+ local arch="${1}"
+ local plat="${2}"
+ local olddir="${3}"
+ local newdir="${4}"
+
+ case "${arch}" in
+ *-linux-*)
+ mount -o bind "${olddir}" "${newdir}"
+ ;;
+ esac
+}
+
+prof_proteanos_bind_umount()
+{
+ local arch="${1}"
+ local plat="${2}"
+ local olddir="${3}"
+ local newdir="${4}"
+
+ case "${arch}" in
+ *-linux-*)
+ umount "${newdir}"
+ ;;
+ esac
+}
+
prof_proteanos_configure_system_native()
{
local root="${1}"