From 15c4dbd73720377114dcded411b0a09e5fe54d61 Mon Sep 17 00:00:00 2001 From: timqiu <9145422+cocoonwind@user.noreply.gitee.com> Date: Tue, 11 Mar 2025 12:21:05 +0800 Subject: [PATCH] Update for asking product id when ./devbox --- devbox/devbox.local/cli/devbox | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/devbox/devbox.local/cli/devbox b/devbox/devbox.local/cli/devbox index bc8fb33..873253e 100644 --- a/devbox/devbox.local/cli/devbox +++ b/devbox/devbox.local/cli/devbox @@ -94,11 +94,14 @@ devbox_init_guidance() { add_arg "--use-custom-repository" "$use_custom_repository" ;; 2) - # Ask user for product_id - read -p "Enter your product_id: " product_id + # Check if product_id is empty if [[ -z $product_id ]]; then - printf "Product ID is required.\n" - exit 1 + # Ask user for product_id + read -p "Enter your product_id: " product_id + if [[ -z $product_id ]]; then + printf "Product ID is required.\n" + exit 1 + fi fi # Ask user for Freeleaps.com username and password