diff options
author | P. 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) |
commit | d7325b15a0949cef77707be5fd0bf864d6338c57 (patch) | |
tree | f10d1191c1a05056bef57b2569bd096fdd973d7d /lib/profile.sh | |
parent | d8c058f9e333ae7d99030c64f9c19c47b3a35085 (diff) | |
parent | 6ca3ac8f4d34f2f0348d64178dc0b3e8ccd7aa7f (diff) |
Merge branch 'feature/sessions'
Diffstat (limited to 'lib/profile.sh')
-rw-r--r-- | lib/profile.sh | 31 |
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}" |