#!/bin/bash # Usage: ./extra-part-config.sh RK_EXTRA_PARTITION_MAX_NUM=${1:-5} RK_EXTRA_PARTITION_NUM=${2:-2} cat < $(( $i - 1 )) menu "Extra partition $i" config RK_EXTRA_PARTITION_${i}_DEV string "device identifier" EOF case $i in 1) echo -e "\tdefault \"oem\"" ;; 2) echo -e "\tdefault \"userdata\"" ;; esac cat <" help Partition name, set "" to detect from device identifier. config RK_EXTRA_PARTITION_${i}_NAME_STR string default "\${RK_EXTRA_PARTITION_${i}_DEV##*[/=]}" \\ if RK_EXTRA_PARTITION_${i}_NAME = "" default RK_EXTRA_PARTITION_${i}_NAME config RK_EXTRA_PARTITION_${i}_MOUNTPOINT string "mountpoint" default "/" config RK_EXTRA_PARTITION_${i}_MOUNTPOINT_STR string default "/\$RK_EXTRA_PARTITION_${i}_NAME_STR" \\ if RK_EXTRA_PARTITION_${i}_MOUNTPOINT = "/" default RK_EXTRA_PARTITION_${i}_MOUNTPOINT config RK_EXTRA_PARTITION_${i}_FSTYPE string "filesystem type" default "ext4" config RK_EXTRA_PARTITION_${i}_OPTIONS string "mount options" default "defaults" config RK_EXTRA_PARTITION_${i}_SRC string "source dirs' suffix" EOF if [ $i -lt 3 ]; then cat << EOF default "empty" if RK_CHIP_FAMILY = "rk3308" default "normal" help Suffix of source dirs under /. EOF fi cat <