}
# }}}
+# format efi partition {{{
format_efi_partition() {
if [ -z "$EFI" ] ; then
return 0
fi
fi
}
+# }}}
# check for EFI support or try to enable it {{{
efi_support() {
}
# }}}
+# retrieve ID_FS_UUID {{{
identify_target_uuid() {
local device="$1"
return 1
fi
}
+# }}}
+# identify TARGET_UUID {{{
mountpoint_to_blockdevice() {
TARGET_UUID=''
fi
done
}
+# }}}
# modify filesystem settings {{{
tunefs() {
}
# }}}
+# unmount mountpoint {{{
try_umount() {
local tries=$1
local mountpoint="$2"
done
return 1 # Tried enough
}
+# }}}
# execute chroot-script {{{
chrootscript() {