ryanyao/freeleaps-pub
1
0
Fork 0
forked from freeleaps/freeleaps-pub
Code Pull Requests Activity

Update for asking product id when ./devbox

Browse Source
This commit is contained in:
timqiu 2025-03-11 12:21:05 +08:00
parent 4b783135e0
commit 15c4dbd737
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
devbox/devbox.local/cli/devbox
View File

@ -94,11 +94,14 @@ devbox_init_guidance() {
add_arg "--use-custom-repository" "$use_custom_repository" add_arg "--use-custom-repository" "$use_custom_repository"
;; ;;
2) 2)
# Ask user for product_id # Check if product_id is empty
read -p "Enter your product_id: " product_id
if [[ -z $product_id ]]; then if [[ -z $product_id ]]; then
printf "Product ID is required.\n" # Ask user for product_id
exit 1 read -p "Enter your product_id: " product_id
if [[ -z $product_id ]]; then
printf "Product ID is required.\n"
exit 1
fi
fi fi
# Ask user for Freeleaps.com username and password # Ask user for Freeleaps.com username and password