diff options
Diffstat (limited to 'util/wsl_install.sh')
-rwxr-xr-x | util/wsl_install.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/util/wsl_install.sh b/util/wsl_install.sh index c2c206d2b..197d9f089 100755 --- a/util/wsl_install.sh +++ b/util/wsl_install.sh | |||
@@ -1,6 +1,7 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P) | 3 | util_dir=$(dirname "$0") |
4 | dir=$(cd -P -- "$util_dir" && pwd -P) | ||
4 | pushd "$dir"; | 5 | pushd "$dir"; |
5 | 6 | ||
6 | if [[ $dir != /mnt/* ]]; | 7 | if [[ $dir != /mnt/* ]]; |
@@ -28,6 +29,8 @@ download_dir=wsl_downloaded | |||
28 | 29 | ||
29 | source "$dir/win_shared_install.sh" | 30 | source "$dir/win_shared_install.sh" |
30 | 31 | ||
32 | pip3 install -r ${util_dir}/../requirements.txt | ||
33 | |||
31 | pushd "$download_dir" | 34 | pushd "$download_dir" |
32 | while true; do | 35 | while true; do |
33 | echo | 36 | echo |