Index: scripts/setup.sh =================================================================== diff -u -r025abd59dd1582ac0a7ad7af79358929042ea4bc -r6d80260681d2847d26b3064d15696f4dcce20713 --- scripts/setup.sh (.../setup.sh) (revision 025abd59dd1582ac0a7ad7af79358929042ea4bc) +++ scripts/setup.sh (.../setup.sh) (revision 6d80260681d2847d26b3064d15696f4dcce20713) @@ -22,17 +22,23 @@ source ./globals.sh "$1" "$2" function check_sdcard() { - if [ ! "$($CMD_SDCARD_DEV)" == "$SDCARD_DEV" ];then # if no SD-Card found ask operator to install on and retry after power-cycle. - echo_dash_comment - echo_dash_message "No SD-Card detected" - echo_dash_message "UI Software logging will not work without a SD-Card" - echo_dash_message " - Power off the device" - echo_dash_message " - Install the SD-Card" - echo_dash_message " - Power on the device" - echo_dash_message " - run the $0" - echo_dash_comment - exit $ERR_SD_CARD - fi + while true; do + if [ ! "$($CMD_SDCARD_DEV)" == "$SDCARD_DEV" ];then # if no SD-Card found ask operator to install on and retry after power-cycle. + echo_dash_comment + echo_dash_message "No SD-Card detected" + echo_dash_message "UI Software logging will not work without a SD-Card" + echo_dash_message "Insert a SD-Card and continue when ready" + echo_dash_comment + confirm "Continue" + if [ $? -eq $FALSE ]; then + # Since the UI will still work without the SD-Card, but won't log, + #exit $ERR_SD_CARD # Do not exit the setup for now, + return $FALSE # And let the user to format and insert the sd-card later. + fi + else + break + fi + done if [ ! "$($CMD_SDCARD_PRT)" == "$SDCARD_PRT" ]; then return $FALSE; fi # if partition 1 doesn't exist , do the format if [ ! "$($CMD_LINUX_TYPE)" == "$SDCARD_TYP_NUMB" ]; then return $FALSE; fi # if partition 1 type is not Linux(83) , do the format