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 | ||