From 4b783135e069e140b816171122ac17194df79996 Mon Sep 17 00:00:00 2001 From: timqiu <9145422+cocoonwind@user.noreply.gitee.com> Date: Tue, 11 Mar 2025 12:20:23 +0800 Subject: [PATCH] Update for product id input when user start with ./devbox --- devbox/devbox.local/cli/devbox | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/devbox/devbox.local/cli/devbox b/devbox/devbox.local/cli/devbox index 0c30901..bc8fb33 100644 --- a/devbox/devbox.local/cli/devbox +++ b/devbox/devbox.local/cli/devbox @@ -94,6 +94,13 @@ 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 + if [[ -z $product_id ]]; then + printf "Product ID is required.\n" + exit 1 + fi + # Ask user for Freeleaps.com username and password read -p "Enter your Freeleaps.com username: " freeleaps_username read -s -p "Enter your Freeleaps.com password: " freeleaps_password