diff options
author | Fred Sundvik <fsundvik@gmail.com> | 2017-05-28 14:49:58 +0300 |
---|---|---|
committer | Fred Sundvik <fsundvik@gmail.com> | 2017-05-28 21:30:55 +0300 |
commit | 477bd4b948a7399bcb8ba057362c66278e6b3abf (patch) | |
tree | ee329997df4f1317041e0ed9ebc7e04605138541 /util | |
parent | c2096bb5159f3b0d188653cf17cd771725ae7e1a (diff) |
Add prompt for re-downloading the utils
Diffstat (limited to 'util')
-rw-r--r-- | util/wsl_install.sh | 14 |
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 |