summaryrefslogtreecommitdiff
path: root/util/wsl_install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'util/wsl_install.sh')
-rw-r--r--util/wsl_install.sh14
1 files changed, 13 insertions, 1 deletions
diff --git a/util/wsl_install.sh b/util/wsl_install.sh
index 9df715b813..f9c7f60906 100644
--- a/util/wsl_install.sh
+++ b/util/wsl_install.sh
@@ -56,7 +56,19 @@ fi
pushd "$dir"
-#install_utils
+if [ ! -d "$download_dir" ]; then
+ install_utils
+else
+ while true; do
+ echo
+ read -p "The utils seem to already be downloaded, do you want to re-download them and update to the newest version (Y/N) " res
+ case $res in
+ [Yy]* ) install_utils; break;;
+ [Nn]* ) break;;
+ * ) echo "Invalid answer";;
+ esac
+ done
+fi
while true; do
echo