summary refs log tree commit diff
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