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 9df715b81..f9c7f6090 100644 --- a/util/wsl_install.sh +++ b/util/wsl_install.sh | |||
| @@ -56,7 +56,19 @@ fi | |||
| 56 | 56 | ||
| 57 | pushd "$dir" | 57 | pushd "$dir" |
| 58 | 58 | ||
| 59 | #install_utils | 59 | if [ ! -d "$download_dir" ]; then |
| 60 | install_utils | ||
| 61 | else | ||
| 62 | while true; do | ||
| 63 | echo | ||
| 64 | 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 | ||
| 65 | case $res in | ||
| 66 | [Yy]* ) install_utils; break;; | ||
| 67 | [Nn]* ) break;; | ||
| 68 | * ) echo "Invalid answer";; | ||
| 69 | esac | ||
| 70 | done | ||
| 71 | fi | ||
| 60 | 72 | ||
| 61 | while true; do | 73 | while true; do |
| 62 | echo | 74 | echo |
