diff options
| author | Hsieh Chin Fan <typebrook@gmail.com> | 2020-07-03 14:39:51 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <typebrook@gmail.com> | 2020-07-03 16:54:33 +0800 |
| commit | 327ca41f4442337eedd4db3774a272cd8efdaac9 (patch) | |
| tree | 0a145b1ff00aec90d66b84753c36227a6c1d6529 | |
| parent | 52a4535aef22494cbd14e411e71e51ae8cf82a7c (diff) | |
Fix missing python in Windows WSL
python3 is not found in Ubuntu 20.04 on WSL
| -rwxr-xr-x | gist | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -78,6 +78,7 @@ else | |||
| 78 | fi | 78 | fi |
| 79 | 79 | ||
| 80 | # Default configuration | 80 | # Default configuration |
| 81 | python() { type python3 >&/dev/null && python3 "$@" || python "$@"; } | ||
| 81 | [[ ! -t 1 && -z $hint ]] && hint=false | 82 | [[ ! -t 1 && -z $hint ]] && hint=false |
| 82 | init= | 83 | init= |
| 83 | 84 | ||