diff options
Diffstat (limited to 'util/wsl_install.sh')
| -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 |