summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorFred Sundvik <fsundvik@gmail.com>2017-05-28 14:49:58 +0300
committerFred Sundvik <fsundvik@gmail.com>2017-05-28 21:30:55 +0300
commit477bd4b948a7399bcb8ba057362c66278e6b3abf (patch)
treeee329997df4f1317041e0ed9ebc7e04605138541 /util
parentc2096bb5159f3b0d188653cf17cd771725ae7e1a (diff)
Add prompt for re-downloading the utils
Diffstat (limited to 'util')
-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