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