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