From a2db4f06b161d12a40ffcc1ec01eece140ca691c Mon Sep 17 00:00:00 2001 From: Leif Date: Sun, 16 Feb 2025 11:43:47 -0900 Subject: [PATCH] Update wgd.sh install pypi mirror auto select add timeout value so that the install/update can run fully scripted without normal user intervention if desired --- src/wgd.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/wgd.sh b/src/wgd.sh index e230900..2971ebc 100755 --- a/src/wgd.sh +++ b/src/wgd.sh @@ -281,9 +281,10 @@ _determinePypiMirror(){ index=$((index+1)) done + msleep=5 printf "\n" - printf " Which mirror you would like to use (Hit enter to use default): " - read -r choice + printf " Which mirror you would like to use (Hit enter or wait ${msleep} seconds to use default): " + read -t ${msleep} -r choice if [[ "$choice" =~ ^[0-9]+$ ]] && (( choice >= 1 && choice <= ${#urls[@]} )); then